A completeness theorem for Kleene algebras and the algebra of regular events
- 9 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- On kleene algebras and closed semiringsPublished by Springer Nature ,2005
- A Semiring on Convex Polygons and Zero-Sum Cycle ProblemsSIAM Journal on Computing, 1990
- The kleene and the Parikh Theorem in complete semiringsPublished by Springer Nature ,1987
- Semirings, Automata, LanguagesPublished by Springer Nature ,1986
- Automata-Theoretic Aspects of Formal Power SeriesPublished by Springer Nature ,1978
- Completeness of calculii for axiomatically defined classes of algebrasAlgebra universalis, 1972
- Two Complete Axiom Systems for the Algebra of Regular EventsJournal of the ACM, 1966
- Representation of Events in Nerve Nets and Finite AutomataPublished by Walter de Gruyter GmbH ,1956