Left-handed completeness
From MaRDI portal
Publication:2286746
Recommendations
Cites work
- A Bialgebraic Review of Deterministic Automata, Regular Expressions and Languages
- A coinductive calculus of streams
- A completeness theorem for Kleene algebras and the algebra of regular events
- Complete systems of \(\mathcal B\)-rational identities
- Group axioms for iteration
- scientific article; zbMATH DE number 1304993 (Why is no real title available?)
- scientific article; zbMATH DE number 3366846 (Why is no real title available?)
- scientific article; zbMATH DE number 3189697 (Why is no real title available?)
- Left-handed completeness
- Left-Handed Completeness for Kleene algebra, via Cyclic Proofs
- Nominal Kleene coalgebra
- On the fine-structure of regular algebra
- Substructural logic and partial correctness
- Two Complete Axiom Systems for the Algebra of Regular Events
- Une condition impliquant toutes les identités rationnelles
Cited in
(10)- Axiomatizing recursion-free, regular monitors
- Left-handed completeness
- Ambidexterity
- scientific article; zbMATH DE number 2128034 (Why is no real title available?)
- Completeness and the finite model property for Kleene algebra, reconsidered
- An elementary proof of the FMP for Kleene algebra
- Domain reasoning in TopKAT
- A proof theory of right-linear ( -)grammars via cyclic proofs
- A proof theory of ( -)context-free languages, via non-wellfounded proofs
- Kleene algebra with commutativity conditions is undecidable
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 Q2286746)
