TY - JOUR T1 - On Completeness of Omega-Regular Algebras JO - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) PY - 2012/01/01 AU - Laurence MR AU - Struth G ED - DO - DOI: 10.1007/978-3-642-33314-9_12 VL - 7560 LNCS SP - 179 EP - 194 Y2 - 2024/12/25 ER -