Relations rationnelles infinitaires. Calcolo, pp.91-125, 1984. ,
DOI : 10.1007/bf02575909
Automata, Logics, and Infinite Games: A Guide to Current Research [outcome of a Dagstuhl seminar, Lecture Notes in Computer Science, vol.2500, 2001. ,
DOI : 10.1007/3-540-36387-4
Introduction to automata theory, languages, and computation, Series in Computer Science. [Jec02] T. Jech. Set theory, 2001. ,
Set theory, volume 102 of Studies in Logic and the Foundations of Mathematics, 1980. ,
Logical specifications of infinite computations, Decade of Concurrency, pp.583-621, 1994. ,
Descriptive set theory, 1980. ,
DOI : 10.1090/surv/155
Infinite words, automata, semigroups, logic and games, Pure and Applied Mathematics, vol.141, 2004. ,
URL : https://hal.archives-ouvertes.fr/hal-00112831
??-Languages, Handbook of formal languages, pp.339-387, 1997. ,
DOI : 10.1007/978-3-642-59126-6_6
Automata on infinite objects Handbook of Theoretical Computer Science, volume B, Formal models and semantics, pp.135-191, 1990. ,