Completeness results for omega-regular algebras
From MaRDI portal
Publication:2347912
DOI10.1016/J.JLAMP.2014.10.002zbMATH Open1335.68155OpenAlexW2083616846MaRDI QIDQ2347912FDOQ2347912
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
complete axiomatization\(\omega\)-regular languageomega-languageWagner algebra\(\omega\)-algebra\(\omega\)-regular expression
Cites Work
- 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
- Towards a Typed Omega Algebra
- Une remarque sur les systèmes complets d'identités rationnelles
- Une condition impliquant toutes les identités rationnelles
- Relational Methods in Computer Science
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (2)
Recommendations
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
- Finite acceptance of infinite words 👍 👎
- Computing and Combinatorics 👍 👎
- Fine hierarchy of regular ω-languages 👍 👎
- Beyond $\omega$-Regular Languages 👍 👎
- Left omega algebras and regular equations 👍 👎
- On Completeness of Omega-Regular Algebras 👍 👎
- Omega Algebras and Regular Equations 👍 👎
This page was built for publication: Completeness results for omega-regular algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2347912)
