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:

Independent instances for some undecidable problems

Cristian Calude, Gheorghe Păun

RAIRO. Inform. théor., 17 1 (1983) 49-54

Published online: 2017-02-01

DOI: https://doi.org/10.1051/ita/1983170100491

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

Incompleteness and the Halting Problem

Cristian S. Calude
Studia Logica 109 (5) 1159 (2021)
https://doi.org/10.1007/s11225-021-09945-2

The complexity of proving chaoticity and the Church–Turing thesis

Cristian S. Calude, Elena Calude and Karl Svozil
Chaos: An Interdisciplinary Journal of Nonlinear Science 20 (3) (2010)
https://doi.org/10.1063/1.3489096

Is complexity a source of incompleteness?

Cristian S. Calude and Helmut Jürgensen
Advances in Applied Mathematics 35 (1) 1 (2005)
https://doi.org/10.1016/j.aam.2004.10.003

Is independence an exception?

C. Calude, H. Jürgensen and M. Zimand
Applied Mathematics and Computation 66 (1) 63 (1994)
https://doi.org/10.1016/0096-3003(94)90158-9

Theories of Computational Complexity

Annals of Discrete Mathematics, Theories of Computational Complexity 35 453 (1988)
https://doi.org/10.1016/S0167-5060(08)70415-1

Grammar directed gödel numberings

Ileana Streinu
International Journal of Computer Mathematics 14 (3-4) 223 (1983)
https://doi.org/10.1080/00207168308803388