Completeness theorems for Kleene algebra with top

DOI10.4230/LIPICS.CONCUR.2022.26MaRDI QIDQ6587134zbMATH OpenFDO

Authors Damien Pous, Jana Wagemaker

Publication date 13 August 2024

zbMATH Keywords

hypothesescompletenessKleene algebraclosed languages

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited in

(2)

• On tools for completeness of Kleene algebra with hypotheses
• Completeness theorems for Kleene algebra with tests and top

This page was built for publication: Completeness theorems for Kleene algebra with top

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