The following pages link to (Q5875403):
Displaying 4 items.
- On tools for completeness of Kleene algebra with hypotheses (Q2695367) (← links)
- Kleene algebra with domain (Q5277765) (← 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)