DAG-Width and Parity Games, Proceedings of Annual Symposium on Theoretical Aspects of Computer Science (STACS'06), pp.524-536, 2006. ,
DOI : 10.1007/11672142_43
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.167.9018
Entanglement ??? A Measure for the Complexity of Directed Graphs with Applications to Logic and Games, Proceedings of Logic for Programming and Automated Reasoning (LPAR'05), pp.209-223, 2005. ,
DOI : 10.1007/978-3-540-32275-7_15
Tree Automata, Mu-Calculus and Determinacy (Extended Abstract), Proceedings of Symposium on Foundations of Computer Science (FOCS'91), pp.368-377, 1991. ,
DOI : 10.1109/sfcs.1991.185392
Trees, automata, and games, Proceedings of the fourteenth annual ACM symposium on Theory of computing , STOC '82, pp.60-65, 1982. ,
DOI : 10.1145/800070.802177
Digraph measures: Kelly decompositions, games, and orderings, Theoretical Computer Science, vol.399, issue.3, pp.206-219, 2008. ,
DOI : 10.1016/j.tcs.2008.02.038
URL : http://doi.org/10.1016/j.tcs.2008.02.038
A Deterministic Subexponential Algorithm for Solving Parity Games, SIAM Journal on Computing, vol.38, issue.4, pp.1519-1532, 2008. ,
DOI : 10.1137/070686652
Fast Mu-Calculus Model Checking when Tree-Width Is Bounded, Proceedings Computer Aided Verification (CAV'03), pp.80-92, 2003. ,
DOI : 10.1007/978-3-540-45069-6_7
Clique-Width and Parity Games, Proceedings of Computer Science Logic (CSL'07), pp.54-68, 2007. ,
DOI : 10.1007/978-3-540-74915-8_8