On Completeness of Omega-Regular Algebras
From MaRDI portal
Publication:2915143
DOI10.1007/978-3-642-33314-9_12zbMath1335.68158OpenAlexW169500913MaRDI QIDQ2915143
Michael R. Laurence, Georg Struth
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_12
complete axiomatization\(\omega\)-regular languageomega-languageWagner algebra\(\omega\)-regular expression
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Complete systems of \(\mathcal B\)-rational identities
- A completeness theorem for Kleene algebras and the algebra of regular events
- Towards a refinement algebra
- Proof Pearl: regular expression equivalence and relation algebra
- Automated Engineering of Relational and Algebraic Methods in Isabelle/HOL
- Une remarque sur les systèmes complets d'identités rationnelles
- Partial, Total and General Correctness
- Une condition impliquant toutes les identités rationnelles
- Two Complete Axiom Systems for the Algebra of Regular Events
- An Efficient Coq Tactic for Deciding Kleene Algebras
This page was built for publication: On Completeness of Omega-Regular Algebras