Kleene algebra with hypotheses

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

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

zbMATH Keywords

complexityhypothesesKleene algebraHorn theory

Mathematics Subject Classification ID

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

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
• On tools for completeness of Kleene algebra with hypotheses
• A complete inference system for skip-free guarded Kleene algebra with tests
• What's decidable about program verification modulo axioms?

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)