Articles citing this article

The Citing articles tool gives a list of articles citing the current article.
The citing articles come from EDP Sciences database, as well as other publishers participating in CrossRef Cited-by Linking Program. You can set up your personal account to receive an email alert each time this article is cited by a new article (see the menu on the right-hand side of the abstract page).

Cited article:

This article has been cited by the following article(s):

Highly Undecidable Problems For Infinite Computations

Olivier Finkel
RAIRO - Theoretical Informatics and Applications 43 (2) 339 (2009)
DOI: 10.1051/ita/2009001
See this article

STACS 2006

Olivier Finkel
Lecture Notes in Computer Science, STACS 2006 3884 301 (2006)
DOI: 10.1007/11672142_24
See this article

The exact complexity of the infinite Post Correspondence Problem

Olivier Finkel
Information Processing Letters 115 (6-8) 609 (2015)
DOI: 10.1016/j.ipl.2015.02.009
See this article

Automata, Borel functions and real numbers in Pisot base

Benoit Cagnard and Pierre Simonnet
RAIRO - Theoretical Informatics and Applications 41 (1) 27 (2007)
DOI: 10.1051/ita:2007007
See this article

ON RECOGNIZABLE LANGUAGES OF INFINITE PICTURES

OLIVIER FINKEL
International Journal of Foundations of Computer Science 15 (06) 823 (2004)
DOI: 10.1142/S0129054104002777
See this article

Incompleteness Theorems, Large Cardinals, and Automata Over Finite Words

Olivier Finkel
International Journal of Foundations of Computer Science 30 (03) 449 (2019)
DOI: 10.1142/S012905411950014X
See this article

Theory and Applications of Models of Computation

Olivier Finkel
Lecture Notes in Computer Science, Theory and Applications of Models of Computation 10185 231 (2017)
DOI: 10.1007/978-3-319-55911-7_17
See this article

On the continuity set of an Omega rational function

Olivier Carton, Olivier Finkel and Pierre Simonnet
RAIRO - Theoretical Informatics and Applications 42 (1) 183 (2008)
DOI: 10.1051/ita:2007050
See this article

Formal Modeling and Analysis of Timed Systems

Olivier Finkel
Lecture Notes in Computer Science, Formal Modeling and Analysis of Timed Systems 4202 187 (2006)
DOI: 10.1007/11867340_14
See this article

On infinite real trace rational languages of maximum topological complexity

O. Finkel, J.-P. Ressayre and P. Simonnet
Journal of Mathematical Sciences 134 (5) 2435 (2006)
DOI: 10.1007/s10958-006-0120-z
See this article