Kleene Algebra
From MaRDI portal
Software:43914
swMATH32203MaRDI QIDQ43914FDOQ43914
Author name not available (Why is that?)
Cited In (9)
- Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL
- On the fine-structure of regular algebra
- Verifying minimum spanning tree algorithms with Stone relation algebras
- Building program construction and verification tools from algebraic principles
- Relation-Algebraic Verification of Prim’s Minimum Spanning Tree Algorithm
- Stone Relation Algebras
- An algebraic framework for minimum spanning tree problems
- Hoare Semigroups
- Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL
This page was built for software: Kleene Algebra
