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

First Page		Document Content
Date: 2012-05-29 09:45:27 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 Source URL: www.cs.cornell.edu Download Document from Source Website File Size: 227,67 KB Share Document on Facebook

	CSL’09 — Coimbra Informal Presentations Thursday, Sept 10 14:00–14:25 14:25–14:50 DocID: 12fRI - View Document
	Microsoft Word - Poster-PeterC.doc DocID: DAm7 - View Document
	A Completeness Theorem for Kleene Algebras and the Algebra of Regular Events Dexter Kozen Department of Computer Science Cornell University DocID: 996t - View Document
	Checking Format Compatibility of Programs Using Automata By DocID: 4qt6 - View Document
	PDF Document DocID: 1CIe - View Document