On tools for completeness of Kleene algebra with hypotheses
From MaRDI portal
Publication:6563055
DOI10.46298/lmcs-20(2:8)2024MaRDI QIDQ6563055
Jana Wagemaker, Damien Pous, Jurriaan Rot
Publication date: 27 June 2024
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Concurrent Kleene algebra and its foundations
- Equational properties of Kleene algebras of relations with conversion
- Complete systems of \(\mathcal B\)-rational identities
- On the equivalence, containment, and covering problems for the regular and context-free languages
- Notes on equational theories of relations
- Concurrent Kleene algebra with observations: from hypotheses to completeness
- Kleene algebra with hypotheses
- Proof Pearl: regular expression equivalence and relation algebra
- On the complexity of reasoning in Kleene algebra
- On tools for completeness of Kleene algebra with hypotheses
- Left-Handed Completeness
- Equational Theories of Abnormal Termination Based on Kleene Algebra
- Une remarque sur les systèmes complets d'identités rationnelles
- KAT + B!
- Kleene Algebra with Equations
- Left-Handed Completeness for Kleene algebra, via Cyclic Proofs
- Modularizing the Elimination of r=0 in Kleene Algebra
- Kleene Algebra with Tests and Coq Tools for while Programs
- NetKAT
- On Hoare logic and Kleene algebra with tests
- An Efficient Coq Tactic for Deciding Kleene Algebras
- On tools for completeness of Kleene algebra with hypotheses
- Completeness theorems for Kleene algebra with top
Related Items (2)
Completeness theorems for Kleene algebra with tests and top ⋮ On tools for completeness of Kleene algebra with hypotheses
This page was built for publication: On tools for completeness of Kleene algebra with hypotheses
