Kleene Algebra
From MaRDI portal
- 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
(20)- RelView
- An algebraic framework for minimum spanning tree problems
- Verifying minimum spanning tree algorithms with Stone relation algebras
- On the fine-structure of regular algebra
- Relation-algebraic verification of Prim's minimum spanning tree algorithm
- Stone Kleene
- Stone Algebras
- Ordinary Differential Equations
- Relation Algebra
- Binary Multirelations
- Algebraic_VCs
- KAD
- Simpl
- Hoare semigroups
- Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL
- Stone relation algebras
- Quantales
- Transformer semantics
- Building program construction and verification tools from algebraic principles
- Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL
This page was built for software: Kleene Algebra
