Left-handed completeness

DOI10.1007/978-3-642-33314-9_11zbMATH Open1364.68268OpenAlexW1558410067MaRDI QIDQ2915142FDOQ2915142

Authors: 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

Recommendations

• Left-handed completeness
• Left-Handed Completeness for Kleene algebra, via Cyclic Proofs
• scientific article; zbMATH DE number 1113856
• Automatic Proof Generation in Kleene Algebra
• Completeness for identity-free Kleene lattices

Mathematics Subject Classification ID

Algebraic theory of languages and automata (68Q70)

Cites Work

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

Cited In (7)

• On the fine-structure of regular algebra
• Ambidexterity
• On tools for completeness of Kleene algebra with hypotheses
• Left-handed completeness
• Completeness theorems for Kleene algebra with tests and top
• Left-handed completeness
• Title not available (Why is that?)

This page was built for publication: Left-handed completeness

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