Nombre de documents trouvés : 55 documents

1 - 2 - 3 - 4 - 5 - 6

The Determinacy of Context-Free Games Finkel O. Dans Symposium on Theoretical Aspects of Computer Science - STACS'12 (29th Symposium on Theoretical Aspects of Computer Science), France (2012) [hal-00678158 - version 1]

Automatic Ordinals Finkel O., Todorcevic S. [hal-00695443 - version 1] (08/05/2012)

The Determinacy of Context-Free Games Finkel O. Dans Proceedings of the 29th International Symposium on Theoretical Aspects of Computer Science, STACS 2012 - 29th International Symposium on Theoretical Aspects of Computer Science, STACS 2012, France (2012) [hal-00648462 - version 1]

A Hierarchy of Tree-Automatic Structures Finkel O., Todorcevic S. Journal of Symbolic Logic 77, 1 (2012) 350-368 [hal-00638581 - version 1]

Some Problems in Automata Theory Which Depend on the Models of Set Theory Finkel O. RAIRO - Theoretical Informatics and Applications 45, 4 (2011) 383 - 397 [hal-00614658 - version 1]

Three Applications to Rational Relations of the High Undecidability of the Infinite Post Correspondence Problem in a Regular omega-Language Finkel O. [hal-00543309 - version 2] (28/07/2011)

On Decidability Properties of One-Dimensional Cellular Automata Finkel O. Journal of Cellular Automata 6, 2-3 (2011) 181-193 [hal-00371169 - version 2]

Decision Problems for Recognizable Languages of Infinite Pictures Finkel O. Dans Studies in Weak Arithmetics - 28 th Weak Arithmetic Days, Journées sur les Arithmétiques Faibles, France (2009) [hal-00612486 - version 1]

The Isomorphism Relation Between Tree-Automatic Structures Finkel O., Todorcevic S. Central European Journal of Mathematics 8, 2 (2010) p. 299-313 [hal-00497724 - version 1]

On Some Sets of Dictionaries Whose omega-Powers Have a Given Complexity Finkel O. Mathematical Logic Quarterly 56, 5 (2010) 452–460 [hal-00432736 - version 1]

1 - 2 - 3 - 4 - 5 - 6

L'URL de cette page est : http://hal.archives-ouvertes.fr/aut/olivier finkel/