On tools for completeness of Kleene algebra with hypotheses
From MaRDI portal
Publication:2695367
DOI10.1007/978-3-030-88701-8_23OpenAlexW3209101957MaRDI QIDQ2695367
Damien Pous, Jurriaan Rot, Jana Wagemaker
Publication date: 30 March 2023
Full work available at URL: https://arxiv.org/abs/2210.13020
Related Items (1)
Cites Work
- Concurrent Kleene algebra and its foundations
- Complete systems of \(\mathcal B\)-rational identities
- A completeness theorem for Kleene algebras and the algebra of regular events
- Concurrent Kleene algebra with observations: from hypotheses to completeness
- Kleene algebra with hypotheses
- On the complexity of reasoning in Kleene algebra
- On tools for completeness of Kleene algebra with hypotheses
- Une remarque sur les systèmes complets d'identités rationnelles
- Kleene Algebra with Equations
- Modularizing the Elimination of r=0 in Kleene Algebra
- Kleene Algebra with Tests and Coq Tools for while Programs
- On Hoare logic and Kleene algebra with tests
- An Efficient Coq Tactic for Deciding Kleene Algebras
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: On tools for completeness of Kleene algebra with hypotheses