Kleene Algebra with Tests and Commutativity Conditions
No abstract available.
DOI 10.1007/3-540-61042-1_35
Related papers
- Kleene Algebra with Tests TOPLAS 1997
- Local Completeness Logic on Kleene Algebra with Tests SAS 2022
- A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests ESOP 2023
- Guarded Kleene algebra with tests: verification of uninterpreted programs in nearly linear time POPL 2020
- A Taxonomy of Hoare-Like Logics: Towards a Holistic View using Predicate Transformers and Kleene Algebras with Top and Tests POPL 2025
- Symbolic Algorithms for Language Equivalence and Kleene Algebra with Tests POPL 2015
- Algebraic reasoning of Quantum programs via non-idempotent Kleene algebra PLDI 2022
- On incorrectness logic and Kleene algebra with top and tests POPL 2022