Kleene algebra with hypotheses

DOI10.1007/978-3-030-17127-8_12OpenAlexW2920679598MaRDI QIDQ2289074

Pierre Pradic, Denis Kuperberg, Amina Doumane, Damien Pous

Publication date: 28 January 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-17127-8_12

zbMATH Keywords

complexityKleene algebrahypothesesHorn theory

Mathematics Subject Classification ID

Theory of computing (68Qxx) Theory of software (68Nxx)

Related Items (2)

On tools for completeness of Kleene algebra with hypotheses ⋮ What’s Decidable About Program Verification Modulo Axioms?

This page was built for publication: Kleene algebra with hypotheses