Left-Handed Completeness

DOI10.1007/978-3-642-33314-9_11zbMath1364.68268OpenAlexW1558410067MaRDI QIDQ2915142

Dexter Kozen, Alexandra Silva

Publication date: 21 September 2012

Published in: Relational and Algebraic Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-33314-9_11

Mathematics Subject Classification ID

Algebraic theory of languages and automata (68Q70)

Related Items

Left-Handed Completeness, Left-handed completeness, On the fine-structure of regular algebra

Cites Work

• Unnamed Item
• Unnamed Item
• Complete systems of \(\mathcal B\)-rational identities
• Group axioms for iteration
• A completeness theorem for Kleene algebras and the algebra of regular events
• Left-Handed Completeness
• Nominal Kleene Coalgebra
• Une condition impliquant toutes les identités rationnelles
• A coinductive calculus of streams
• Substructural logic and partial correctness
• Two Complete Axiom Systems for the Algebra of Regular Events
• A Bialgebraic Review of Deterministic Automata, Regular Expressions and Languages