Left-handed completeness
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 1304993 (Why is no real title available?)
- scientific article; zbMATH DE number 3366846 (Why is no real title available?)
- 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
- Left-handed completeness
- Nominal Kleene coalgebra
- 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)- On the fine-structure of regular algebra
- A proof theory of right-linear ( -)grammars via cyclic proofs
- An algebraic theory of nondeterministic finite automata
- Ambidexterity
- Left-handed completeness
- A proof theory of ( -)context-free languages, via non-wellfounded proofs
- On tools for completeness of Kleene algebra with hypotheses
- Completeness theorems for Kleene algebra with tests and top
- Left-handed completeness
- scientific article; zbMATH DE number 2128034 (Why is no real title available?)
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)
