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

	Semiring-Induced Propositional Logic: Definition and Basic Algorithms ∗ † Javier Larrosa, Albert Oliveras and Enric Rodr´ıguez-Carbonell Technical University of Catalonia Barcelona, Spain larrosa,oliveras,erodri@ls DocID: 1xUWe - View Document
	Semiring-Based Constraint Satisfaction and Optimization STEFANO BISTARELLI, UGO MONTANARI, AND FRANCESCA ROSSI University of Pisa, Pisa, Italy DocID: 1sTUF - View Document
	Contemporary Mathematics First Steps in Tropical Geometry J¨ urgen Richter-Gebert, Bernd Sturmfels, and Thorsten Theobald Abstract. Tropical algebraic geometry is the geometry of the tropical semiring ( , min, +). Its DocID: 1ssot - View Document
	773 Documenta Math. Quadratic and Symmetric Bilinear Forms on Modules with Unique Base over a Semiring DocID: 1rqAw - View Document
	IN DEFENSE OF “MINDLESS ROTE” Ethan Akin Mathematics Department The City College 137 Street and Convent Avenue DocID: 1qHL7 - View Document