Alternating tree automata, parity games, and modal {$\mu$}-calculus
Wilke, Thomas
Bull. Belg. Math. Soc. Simon Stevin, Tome 8 (2001) no. 1, p. 359-391 / Harvested from Project Euclid
Publié le : 2001-05-14
Classification:  68Q60,  03B70,  03D05,  68Q45
@article{1102714178,
     author = {Wilke, Thomas},
     title = {Alternating tree automata, parity games, and modal {$\mu$}-calculus},
     journal = {Bull. Belg. Math. Soc. Simon Stevin},
     volume = {8},
     number = {1},
     year = {2001},
     pages = { 359-391},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1102714178}
}
Wilke, Thomas. Alternating tree automata, parity games, and modal {$\mu$}-calculus. Bull. Belg. Math. Soc. Simon Stevin, Tome 8 (2001) no. 1, pp.  359-391. http://gdmltest.u-ga.fr/item/1102714178/