On tools for completeness of Kleene algebra with hypotheses

DOI10.1007/978-3-030-88701-8_23MaRDI QIDQ2695367OpenAlexFDO

Authors Damien Pous, Jurriaan Rot, Jana Wagemaker

Publication date 30 March 2023

Full work available at URL https://arxiv.org/abs/2210.13020

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites work

• scientific article; zbMATH DE number 1696821 (Why is no real title available?)
• scientific article; zbMATH DE number 549971 (Why is no real title available?)
• scientific article; zbMATH DE number 1086671 (Why is no real title available?)
• scientific article; zbMATH DE number 194916 (Why is no real title available?)
• scientific article; zbMATH DE number 7204945 (Why is no real title available?)
• scientific article; zbMATH DE number 3316967 (Why is no real title available?)
• scientific article; zbMATH DE number 3341950 (Why is no real title available?)
• scientific article; zbMATH DE number 7649949 (Why is no real title available?)
• A completeness theorem for Kleene algebras and the algebra of regular events
• An efficient Coq tactic for deciding Kleene algebras
• Complete systems of \(\mathcal B\)-rational identities
• Concurrent Kleene algebra and its foundations
• Concurrent Kleene algebra with observations: from hypotheses to completeness
• Kleene algebra with equations
• Kleene algebra with hypotheses
• Kleene algebra with tests and Coq tools for while programs
• Modularizing the Elimination of r=0 in Kleene Algebra
• On Hoare logic and Kleene algebra with tests
• On the complexity of reasoning in Kleene algebra
• On tools for completeness of Kleene algebra with hypotheses
• Une remarque sur les systèmes complets d'identités rationnelles

Cited in

(6)

• On tools for completeness of Kleene algebra with hypotheses
• A complete inference system for skip-free guarded Kleene algebra with tests
• Left-Handed Completeness for Kleene algebra, via Cyclic Proofs
• A completeness theorem for nondeterministic Kleene algebras
• Completeness theorems for Kleene algebra with tests and top
• On tools for completeness of Kleene algebra with hypotheses

This page was built for publication: On tools for completeness of Kleene algebra with hypotheses

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2695367)