TY - JOUR T1 - Left omega algebras and regular equations JO - Journal of Logic and Algebraic Programming PY - 2012/01/01 AU - Laurence M AU - Struth G ED - Y2 - 2024/12/25 ER -