Pages that link to "Item:Q5327345"
From MaRDI portal
The following pages link to Program Analysis and Verification Based on Kleene Algebra in Isabelle/HOL (Q5327345):
Displayed 5 items.
- Building program construction and verification tools from algebraic principles (Q736461) (← links)
- Solving quantifier-free first-order constraints over finite sets and binary relations (Q2303241) (← links)
- Unifying Heterogeneous State-Spaces with Lenses (Q3179407) (← links)
- Hoare Semigroups (Q4640310) (← links)
- Stone Relation Algebras (Q5283207) (← links)