On tools for completeness of Kleene algebra with hypotheses
From MaRDI portal
Publication:2695367
DOI10.1007/978-3-030-88701-8_23OpenAlexW3209101957MaRDI QIDQ2695367FDOQ2695367
Damien Pous, Jurriaan Rot, Jana Wagemaker
Publication date: 30 March 2023
Full work available at URL: https://arxiv.org/abs/2210.13020
Cites Work
- Title not available (Why is that?)
- Complete systems of \(\mathcal B\)-rational identities
- A completeness theorem for Kleene algebras and the algebra of regular events
- Title not available (Why is that?)
- Une remarque sur les systèmes complets d'identités rationnelles
- Title not available (Why is that?)
- Title not available (Why is that?)
- Kleene Algebra with Equations
- Kleene Algebra with Tests and Coq Tools for while Programs
- Concurrent Kleene algebra and its foundations
- On Hoare logic and Kleene algebra with tests
- Title not available (Why is that?)
- An Efficient Coq Tactic for Deciding Kleene Algebras
- Title not available (Why is that?)
- On the complexity of reasoning in Kleene algebra
- Kleene algebra with hypotheses
- Title not available (Why is that?)
- Concurrent Kleene algebra with observations: from hypotheses to completeness
- Modularizing the Elimination of r=0 in Kleene Algebra
- On tools for completeness of Kleene algebra with hypotheses
- Title not available (Why is that?)
Cited In (6)
- Left-Handed Completeness for Kleene algebra, via Cyclic Proofs
- A completeness theorem for nondeterministic Kleene algebras
- On tools for completeness of Kleene algebra with hypotheses
- Completeness theorems for Kleene algebra with tests and top
- On tools for completeness of Kleene algebra with hypotheses
- A complete inference system for skip-free guarded Kleene algebra with tests
This page was built for publication: On tools for completeness of Kleene algebra with hypotheses
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2695367)
