On the Representation of Kleene Algebras with Tests

Lecture Notes in Computer Science - Mathematical Foundations of Computer Science 2006 ◽

10.1007/11821069_6 ◽

2006 ◽

pp. 73-83 ◽

Cited By ~ 2

Author(s):

Dexter Kozen

Download Full-text