Kleene Algebra

MaRDI QIDQ7361763FDO

Authors Alasdair Armstrong, Georg Struth, Tjark Weber

Publication date 15 January 2013

Cites work

• A calculational approach to mathematical induction
• A completeness theorem for Kleene algebras and the algebra of regular events
• Abstract abstract reduction
• Algebraic notions of nontermination: Omega and divergence in idempotent semirings
• Automated analysis of regular algebra
• Automated Engineering of Relational and Algebraic Methods in Isabelle/HOL
• Automated Reasoning in Higher-Order Regular Algebra
• Unnamed Publication
• Unnamed Publication
• Unnamed Publication
• Unnamed Publication
• Unnamed Publication
• Unnamed Publication
• Unnamed Publication
• Unnamed Publication
• Unnamed Publication
• Unnamed Publication
• Kleene algebra with domain
• Left omega algebras and regular equations
• Normal forms in total correctness for while programs and action systems
• On Hoare logic and Kleene algebra with tests
• On Lazy Commutation
• Proof Pearl: regular expression equivalence and relation algebra
• Representation of game algebras
• Residuated lattices. An algebraic glimpse at substructural logics
• Towards a refinement algebra
• Towards Automated Proof Support for Probabilistic Distributed Systems
• Une remarque sur les systèmes complets d'identités rationnelles

Cited in

(7)

• Modal quantales, involutive quantales, Dedekind Quantales
• Kleene Algebras with Domain
• Kleene Algebra with Tests and Demonic Refinement Algebras
• Quantales
• Binary Multirelations
• Regular Algebras
• Relation Algebra

This page was built for software: Kleene Algebra