8 results
The Determinacy of Context-Free Games
-
- Journal:
- The Journal of Symbolic Logic / Volume 78 / Issue 4 / December 2013
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1115-1134
- Print publication:
- December 2013
-
- Article
- Export citation
A hierarchy of tree-automatic structures
-
- Journal:
- The Journal of Symbolic Logic / Volume 77 / Issue 1 / March 2012
- Published online by Cambridge University Press:
- 12 March 2014, pp. 350-368
- 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. 383-397
- 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. 339-364
- 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. 183-196
- 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. 813-840
-
- Article
- Export citation
Undecidability of Topologicaland Arithmetical Propertiesof 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. 115-126
- 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. 105-113
- Print publication:
- April 2003
-
- Article
- Export citation