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

	1 Kleene Algebra Modulo Theories RYAN BECKETT, Princeton University ERIC CAMPBELL, Pomona College MICHAEL GREENBERG, Pomona College Kleene algebras with tests (KATs) offer sound, complete, and decidable equational reason DocID: 1vngg - View Document
	Concurrent Kleene algebra with tests Peter Jipsen Chapman University, Orange, California 92866, USA DocID: 1ug6l - View Document
	Kleene Algebra Georg Struth University of Sheffield based on joint work with Jules Desharnais, Bernhard M¨oller and others DocID: 1sFDu - View Document
	LNCSDevelopments in Concurrent Kleene Algebra DocID: 1nMDa - View Document
	On the relation between Concurrent Separation Logic and Concurrent Kleene Algebra DocID: 1mdDl - View Document