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

/

IndustryTerm

cient algorithms / satisfactory solution / /

Organization

Regular Events Dexter Kozen Department of Computer Science Cornell University Ithaca / /

Person

Dexter Kozen / /

/

Technology

cient algorithms / /

SocialTag