8 results
The Determinacy of ContextFree Games

 Journal:
 The Journal of Symbolic Logic / Volume 78 / Issue 4 / December 2013
 Published online by Cambridge University Press:
 12 March 2014, pp. 11151134
 Print publication:
 December 2013

 Article
 Export citation
A hierarchy of treeautomatic structures

 Journal:
 The Journal of Symbolic Logic / Volume 77 / Issue 1 / March 2012
 Published online by Cambridge University Press:
 12 March 2014, pp. 350368
 Print publication:
 March 2012

 Article
 Export citation
Some problems in automata theory which depend on the models of set theory

 Journal:
 RAIRO  Theoretical Informatics and Applications / Volume 45 / Issue 4 / November 2011
 Published online by Cambridge University Press:
 03 October 2011, pp. 383397
 Print publication:
 November 2011

 Article
 Export citation
Highly Undecidable Problems For Infinite Computations

 Journal:
 RAIRO  Theoretical Informatics and Applications / Volume 43 / Issue 2 / April 2009
 Published online by Cambridge University Press:
 14 February 2009, pp. 339364
 Print publication:
 April 2009

 Article
 Export citation
On the continuity set of an Omega rational function

 Journal:
 RAIRO  Theoretical Informatics and Applications / Volume 42 / Issue 1 / January 2008
 Published online by Cambridge University Press:
 18 January 2008, pp. 183196
 Print publication:
 January 2008

 Article
 Export citation
Borel ranks and Wadge degrees of context free $\omega$languages

 Journal:
 Mathematical Structures in Computer Science / Volume 16 / Issue 5 / October 2006
 Published online by Cambridge University Press:
 11 October 2006, pp. 813840

 Article
 Export citation
Undecidability of Topological and Arithmetical Properties of Infinitary Rational Relations

 Journal:
 RAIRO  Theoretical Informatics and Applications / Volume 37 / Issue 2 / April 2003
 Published online by Cambridge University Press:
 15 November 2003, pp. 115126
 Print publication:
 April 2003

 Article
 Export citation
On the Topological Complexity of Infinitary Rational Relations

 Journal:
 RAIRO  Theoretical Informatics and Applications / Volume 37 / Issue 2 / April 2003
 Published online by Cambridge University Press:
 15 November 2003, pp. 105113
 Print publication:
 April 2003

 Article
 Export citation