On kleene algebras and closed semirings

This publication has 9 references indexed in Scilit:

• Dynamic algebras as a well-behaved fragment of relation algebras
  Published by Springer Nature ,2006
• On induction vs. *-continuity
  Published by Springer Nature ,2005
• The kleene and the Parikh Theorem in complete semirings
  Published by Springer Nature ,1987
• Data Structures and Algorithms 2
  Published by Springer Nature ,1984
• Dynamic algebras and the nature of induction
  Published by Association for Computing Machinery (ACM) ,1980
• First-Order Dynamic Logic
  Lecture Notes in Computer Science, 1979
• Semantical consideration on floyo-hoare logic
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1976
• Categories for the Working Mathematician
  Published by Springer Nature ,1971
• Two Complete Axiom Systems for the Algebra of Regular Events
  Journal of the ACM, 1966