Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by D. Kozen
Decidability of Systems of Set Constraints With Negative Constraints
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
A Completeness Theorem for Kleene Algebras and the Algebra of Regular Events
