swMATH32203MaRDI QIDQ43914FDOQ43914
Author name not available (Why is that?)
Official website: https://www.isa-afp.org/entries/Kleene_Algebra.html
Cited In (19)
- Quantales
- Transformer semantics
- Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL
- On the fine-structure of regular algebra
- Relation-algebraic verification of Prim's minimum spanning tree algorithm
- Hoare semigroups
- Verifying minimum spanning tree algorithms with Stone relation algebras
- Building program construction and verification tools from algebraic principles
- Ordinary Differential Equations
- Stone Kleene
- Stone Algebras
- Algebraic_VCs
- Binary Multirelations
- KAD
- Relation Algebra
- Simpl
- An algebraic framework for minimum spanning tree problems
- Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL
- Stone relation algebras
This page was built for software: Kleene Algebra
