Details for the publication VardiF0T22.

Moshe Y. Vardi (), Seth Fogarty, Yong Li, Yih-Kuen Tsay (): Towards a Grand Unification of Büchi Complementation Constructions. In Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday, volume 13660 of Lecture Notes in Computer Science, pages 185-207, 2022. DOI BIB