![Algebra / Formal languages / Algebraic logic / Many-valued logic / Boolean algebra / Kleene algebra / Kleene star / Semiring / Stephen Cole Kleene / Abstract algebra / Mathematics / Algebraic structures Algebra / Formal languages / Algebraic logic / Many-valued logic / Boolean algebra / Kleene algebra / Kleene star / Semiring / Stephen Cole Kleene / Abstract algebra / Mathematics / Algebraic structures](https://www.pdfsearch.io/img/02979a51a40c33c9d32a29e87794ff75.jpg)
| Document Date: 2012-05-29 09:45:27 Open Document File Size: 227,67 KBShare 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 |