Kleene algebra with hypotheses
From MaRDI portal
Publication:2289074
DOI10.1007/978-3-030-17127-8_12OpenAlexW2920679598MaRDI QIDQ2289074FDOQ2289074
Authors: Amina Doumane, Denis Kuperberg, Damien Pous, Pierre Pradic 
Publication date: 28 January 2020
Full work available at URL: https://doi.org/10.1007/978-3-030-17127-8_12
Cited In (13)
- On the expressive power of Kleene algebra with domain
- A Quest for Kleene Algebra in 2 Dimensions
- Kleene algebra with domain
- Title not available (Why is that?)
- On the complexity of reasoning in Kleene algebra with commutativity conditions
- On Hoare logic and Kleene algebra with tests
- On tools for completeness of Kleene algebra with hypotheses
- On the complexity of reasoning in Kleene algebra
- Kleene algebra of partial predicates
- Completeness theorems for Kleene algebra with tests and top
- What’s Decidable About Program Verification Modulo Axioms?
- 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: Kleene algebra with hypotheses
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2289074)
