The following pages link to Abstract abstract reduction (Q817587):
Displayed 7 items.
- Algebraic notions of nontermination: Omega and divergence in idempotent semirings (Q604456) (← links)
- Automated verification of refinement laws (Q1037397) (← links)
- An algebraic framework for minimum spanning tree problems (Q1786562) (← links)
- Verifying minimum spanning tree algorithms with Stone relation algebras (Q1994364) (← links)
- Relation-Algebraic Verification of Prim’s Minimum Spanning Tree Algorithm (Q3179390) (← links)
- Algebraic coherent confluence and higher globular Kleene algebras (Q5060195) (← links)
- Modal Tools for Separation and Refinement (Q5403464) (← links)