A Completeness Theorem for Kleene Algebras and the Algebra of Regular Events (1994)

Cached

Download Links

by Dexter Kozen
Venue:Information and Computation
Citations:188 - 23 self