Back to Results
First PageMeta Content
Algebra / Formal languages / Algebraic logic / Many-valued logic / Boolean algebra / Kleene algebra / Kleene star / Semiring / Stephen Cole Kleene / Abstract algebra / Mathematics / Algebraic structures


A Completeness Theorem for Kleene Algebras and the Algebra of Regular Events Dexter Kozen Department of Computer Science Cornell University
Add to Reading List

Document Date: 2012-05-29 09:45:27


Open Document

File Size: 227,67 KB

Share Result on Facebook
UPDATE