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 - 2025/05/05 ER -