Parametrized Regular Infinite Games and Higher-Order Pushdown Strategies.

Paul Hnsch, Michaela Slaats, Wolfgang Thomas

Browse the full FCT paper archive.