Nombre de documents trouvés : 47 documents

1 - 2 - 3 - 4 - 5

On Decidability Properties of One-Dimensional Cellular Automata Finkel O. [hal-00371169 − version 2] (01/06/2009)

On Some Sets of Dictionaries Whose omega-Powers Have a Given Complexity Finkel O. [hal-00432736 − version 1] (17/11/2009)

The Complexity of Infinite Computations In Models of Set Theory Finkel O. Logical Methods in Computer Science (LMCS) 5, 4:4 (2009) 1-19 [hal-00422538 - version 3]

Decision Problems For Turing Machines Finkel O., Lecomte D. Information Processing Letters 109, 23-24 (2009) 1223-1226 [hal-00413331 − version 1]

On Recognizable Tree Languages Beyond the Borel Hierarchy Finkel O., Simonnet P. Fundamenta Informaticae 95, 2-3 (2009) 287-303 [hal-00412638 − version 1]

Classical and Effective Descriptive Complexities of omega-Powers Finkel O., Lecomte D. Annals of Pure and Applied Logic 160, 2 (2009) 163-191 [ensl-00168644 − version 2]

Highly Undecidable Problems For Infinite Computations Finkel O. RAIRO - Theoretical Informatics and Applications 43, 2 (2009) 339-364 [hal-00349761 − version 1]

Highly Undecidable Problems about Recognizability by Tiling Systems Finkel O. Fundamenta Informaticae 91, 2 (2009) 305-323 [ensl-00340791 − version 1]

Wadge Degrees of Infinitary Rational Relations Finkel O. Mathematics in Computer Science 2, 1 (2008) 85-102 [ensl-00274931 − version 1]

Topological Complexity of Context-Free omega-Languages: A Survey Finkel O. [ensl-00286373 − version 1] (09/06/2008)

1 - 2 - 3 - 4 - 5

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