Parametrized Regular Infinite Games and Higher-Order Pushdown Strategies

DOI10.1007/978-3-642-03409-1_17zbMath1252.68173OpenAlexW1571519881MaRDI QIDQ3183608

Paul Hänsch, Michaela Slaats, Wolfgang Thomas

Publication date: 20 October 2009

Published in: Fundamentals of Computation Theory (Search for Journal in Brave)

Full work available at URL: http://publications.rwth-aachen.de/record/47770

Mathematics Subject Classification ID

2-person games (91A05) Applications of game theory (91A80) Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05)

Related Items (1)

Regular sets over extended tree structures

This page was built for publication: Parametrized Regular Infinite Games and Higher-Order Pushdown Strategies