Kleene algebra with hypotheses

DOI10.1007/978-3-030-17127-8_12MaRDI QIDQ2289074zbMATH OpenOpenAlexFDO

Authors Amina Doumane, Denis Kuperberg, Damien Pous, Pierre Pradic

Publication date 28 January 2020

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

complexityHorn theoryhypothesesKleene algebra

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

(19)

• Kleene algebra of partial predicates
• On the complexity of reasoning in Kleene algebra
• On tools for completeness of Kleene algebra with hypotheses
• A Quest for Kleene Algebra in 2 Dimensions
• scientific article; zbMATH DE number 408802 (Why is no real title available?)
• What's decidable about program verification modulo axioms?
• Kleene algebra with domain
• On Hoare logic and Kleene algebra with tests
• A complete inference system for skip-free guarded Kleene algebra with tests
• On tools for completeness of Kleene algebra with hypotheses
• On the complexity of reasoning in Kleene algebra with commutativity conditions
• Completeness theorems for Kleene algebra with tests and top
• Pomsets with boxes: protection, separation, and locality in concurrent Kleene algebra
• Domain reasoning in TopKAT
• On propositional program equivalence (extended abstract)
• Uniform substitution for differential refinement logic
• Finite relational semantics for language Kleene algebra with complement
• Partial reductions for Kleene algebra with linear hypotheses
• On the expressive power of Kleene algebra with domain

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)