Back to Search
Start Over
Equational axioms for regular sets
- Source :
- Mathematical Structures in Computer Science. 3:1-24
- Publication Year :
- 1993
- Publisher :
- Cambridge University Press (CUP), 1993.
-
Abstract
- We show that, aside from the semiring equations, three equations and two equation schemes characterize the semiring of regular sets with the Kleene star operation.
Details
- ISSN :
- 14698072 and 09601295
- Volume :
- 3
- Database :
- OpenAIRE
- Journal :
- Mathematical Structures in Computer Science
- Accession number :
- edsair.doi...........5b02c636b1787a9ba83d7567c592f95e