@article{article, title = {{Completeness results for omega-regular algebras}}, publisher = {{Elsevier BV}}, url = {{}}, year = {{2015}}, month = {{5}}, author = {{Cranch J and Laurence MR and Struth G}}, doi = {{10.1016/j.jlamp.2014.10.002}}, volume = {{84}}, journal = {{Journal of Logical and Algebraic Methods in Programming}}, issue = {{3}}, pages = {{402-425}}, note = {{Accessed on 2024/12/25}}}