Subject
Computer Science Applications,Information Systems,Signal Processing,Theoretical Computer Science
Reference6 articles.
1. Tree automata, mu-calculus and determinacy (extended abstract);Emerson,1991
2. Games with Forbidden Positions;Mostowski,1991
3. Infinite games on finitely coloured graphs with applications to automata on infinite trees;Zielonka;Theor. Comput. Sci.,1998
4. Memoryless determinacy of parity and mean payoff games: a simple proof;Björklund;Theor. Comput. Sci.,2004
5. Finite Model Theory and Descriptive Complexity;Grädel,2007
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献