Completeness results for omega-regular algebras

DOI10.1016/J.JLAMP.2014.10.002zbMath1335.68155OpenAlexW2083616846MaRDI QIDQ2347912

Michael R. Laurence, Georg Struth, James Cranch

Publication date: 10 June 2015

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlamp.2014.10.002

zbMATH Keywords

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

Mathematics Subject Classification ID

Algebraic theory of languages and automata (68Q70)

Related Items (1)

An algebraic approach to computations with progress

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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
• Towards a Typed Omega Algebra
• Une remarque sur les systèmes complets d'identités rationnelles
• Une condition impliquant toutes les identités rationnelles
• Two Complete Axiom Systems for the Algebra of Regular Events
• Relational Methods in Computer Science

This page was built for publication: Completeness results for omega-regular algebras