The following pages link to (Q2767087):
Displaying 14 items.
- Canonical finite models of Kleene algebra with tests (Q299196) (← links)
- Algebraic separation logic (Q549676) (← links)
- Synchronous Kleene algebra (Q710676) (← links)
- Building program construction and verification tools from algebraic principles (Q736461) (← links)
- Abstract abstract reduction (Q817587) (← links)
- On tools for completeness of Kleene algebra with hypotheses (Q2695367) (← links)
- Verification of Common Interprocedural Compiler Optimizations Using Visibly Pushdown Kleene Algebra (Q3067464) (← links)
- Completeness for Identity-free Kleene Lattices (Q5009432) (← links)
- (Q5079743) (← links)
- (Q5875403) (← 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)
