The following pages link to (Q2767087):
Displaying 10 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)
