The following pages link to Kleene Algebra (Q43914):
Displaying 10 items.
- (Q47908) (redirect page) (← links)
- Building program construction and verification tools from algebraic principles (Q736461) (← links)
- Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL (Q832721) (← links)
- An algebraic framework for minimum spanning tree problems (Q1786562) (← links)
- Verifying minimum spanning tree algorithms with Stone relation algebras (Q1994364) (← links)
- On the fine-structure of regular algebra (Q2352506) (← links)
- Relation-Algebraic Verification of Prim’s Minimum Spanning Tree Algorithm (Q3179390) (← links)
- Hoare Semigroups (Q4640310) (← links)
- Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL (Q5098720) (← links)
- Stone Relation Algebras (Q5283207) (← links)
