Infinite regular games in the higher-order pushdown and the parametrized setting

Michaela Slaats. Infinite regular games in the higher-order pushdown and the parametrized setting. PhD thesis, RWTH Aachen University, 2011. [doi]

Abstract

Abstract is missing.