Amanote Research
Register
Sign In
A Completeness Theorem for Kleene Algebras and the Algebra of Regular Events
doi 10.1109/lics.1991.151646
Full Text
Open PDF
Abstract
Available in
full text
Date
Unknown
Authors
D. Kozen
Publisher
IEEE Comput. Sco. Press