Completeness results for omega-regular algebras

James Cranch, Michael R. Laurence, Georg Struth. Completeness results for omega-regular algebras. Journal of Logic and Algebraic Programming, 84(3):402-425, 2015. [doi]

Abstract

Abstract is missing.