A Coalgebraic Approach to Kleene Algebra
β
Hubie Chen; Riccardo Pucella
π
Article
π
2003
π
Elsevier Science
π
English
β 146 KB