KAD
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
- Algebraic Notions of Termination
- Algebras of modal operators and partial correctness
- Automated analysis of regular algebra
- Automated Engineering of Relational and Algebraic Methods in Isabelle/HOL
- Automated Reasoning in Higher-Order Regular Algebra
- Concurrent dynamic algebra
- Domain and antidomain semigroups
- Domain Axioms for a Family of Near-Semirings
- Unnamed Publication
- Unnamed Publication
- Unnamed Publication
- Unnamed Publication
- Unnamed Publication
- Unnamed Publication
- Unnamed Publication
- Unnamed Publication
- Unnamed Publication
- Internal axioms for domain semirings
- 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
- Relation algebras
- Representation of game algebras
- Residuated lattices. An algebraic glimpse at substructural logics
- Taming multirelations
- 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
(8)
This page was built for software: KAD
