The following pages link to Kleene algebra with hypotheses (Q2289074):
Displaying 6 items.
- On tools for completeness of Kleene algebra with hypotheses (Q2695367) (← links)
- What’s Decidable About Program Verification Modulo Axioms? (Q5164172) (← links)
- A complete inference system for skip-free guarded Kleene algebra with tests (Q6535242) (← links)
- On tools for completeness of Kleene algebra with hypotheses (Q6563055) (← links)
- On the complexity of reasoning in Kleene algebra with commutativity conditions (Q6605343) (← links)
- Completeness theorems for Kleene algebra with tests and top (Q6635510) (← links)
