On Winning Conditions of High Borel Complexity in Pushdown Games

Olivier Finkel. On Winning Conditions of High Borel Complexity in Pushdown Games. Fundamenta Informaticae, 66(3):277-298, 2005. [doi]

Abstract

Abstract is missing.