TY  - JOUR

T1  - Completeness results for omega-regular algebras

JO  - Journal of Logical and Algebraic Methods in Programming

PY  - 2015/05/01

AU  - Cranch J

AU  - Laurence MR

AU  - Struth G

ED  - 

DO  - DOI: 10.1016/j.jlamp.2014.10.002

PB  - Elsevier BV

VL  - 84

IS  - 3

SP  - 402

EP  - 425

Y2  - 2024/12/22

ER  -