First Page | Document Content | |
---|---|---|
![]() Date: 2012-05-29 09:45:27Algebra Formal languages Algebraic logic Many-valued logic Boolean algebra Kleene algebra Kleene star Semiring Stephen Cole Kleene Abstract algebra Mathematics Algebraic structures | Add to Reading List |
![]() | CSL’09 — Coimbra Informal Presentations Thursday, Sept 10 14:00–14:25 14:25–14:50DocID: 12fRI - View Document |
![]() | Microsoft Word - Poster-PeterC.docDocID: DAm7 - View Document |
![]() | A Completeness Theorem for Kleene Algebras and the Algebra of Regular Events Dexter Kozen Department of Computer Science Cornell UniversityDocID: 996t - View Document |
![]() | Checking Format Compatibility of Programs Using Automata ByDocID: 4qt6 - View Document |
![]() | PDF DocumentDocID: 1CIe - View Document |