Kleene algebra with hypotheses

DOI10.1007/978-3-030-17127-8_12MaRDI QIDQ2289074OpenAlexFDO

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

zbMATH Keywords

complexityhypothesesKleene algebraHorn theory

Mathematics Subject Classification ID

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

Recommendations

• On the complexity of reasoning in Kleene algebra
• Logic for Programming, Artificial Intelligence, and Reasoning
• Modularizing the Elimination of r=0 in Kleene Algebra
• scientific article; zbMATH DE number 1086671
• scientific article; zbMATH DE number 4210141

Cited in

(13)

• On tools for completeness of Kleene algebra with hypotheses
• Kleene algebra with domain
• A Quest for Kleene Algebra in 2 Dimensions
• On the complexity of reasoning in Kleene algebra
• On the complexity of reasoning in Kleene algebra with commutativity conditions
• On Hoare logic and Kleene algebra with tests
• What's decidable about program verification modulo axioms?
• Kleene algebra of partial predicates
• A complete inference system for skip-free guarded Kleene algebra with tests
• scientific article; zbMATH DE number 408802 (Why is no real title available?)
• On the expressive power of Kleene algebra with domain
• Completeness theorems for Kleene algebra with tests and top
• On tools for completeness of Kleene algebra with hypotheses

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)