On Completeness of Omega-Regular Algebras

DOI10.1007/978-3-642-33314-9_12zbMATH Open1335.68158OpenAlexW169500913MaRDI QIDQ2915143FDOQ2915143

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

zbMATH Keywords

complete axiomatization\(\omega\)-regular languageomega-languageWagner algebra\(\omega\)-regular expression

Mathematics Subject Classification ID

Algebraic theory of languages and automata (68Q70)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• 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
• Towards a refinement algebra
• Une remarque sur les systèmes complets d'identités rationnelles
• Une condition impliquant toutes les identités rationnelles
• Proof Pearl: regular expression equivalence and relation algebra
• Automated Engineering of Relational and Algebraic Methods in Isabelle/HOL
• An Efficient Coq Tactic for Deciding Kleene Algebras
• Partial, Total and General Correctness

Cited In (3)

• The Ohm-Rush content function III: Completion, globalization, and power-content algebras
• Title not available (Why is that?)
• Completeness results for omega-regular algebras

Uses Software

• Regular Sets

This page was built for publication: On Completeness of Omega-Regular Algebras

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