Login / Signup

Alternating Tree Automata and Parity Games.

Daniel Kirsten
Published in: Automata, Logics, and Infinite Games (2001)
Keyphrases