Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Lambek, Joachim
1961.
How to Program an Infinite Abacus.
Canadian Mathematical Bulletin,
Vol. 4,
Issue. 3,
p.
295.
Melzak, Z.A.
1964.
An Informal Arithmetical Approach to Computability and
Computation, II.
Canadian Mathematical Bulletin,
Vol. 7,
Issue. 2,
p.
183.
Melzak, Z.A.
1966.
An Informal Arithmetical Approach to Computability and Computation, III.
Canadian Mathematical Bulletin,
Vol. 9,
Issue. 05,
p.
593.
Jones, J. P.
and
Matijasevič, Y. V.
1984.
Register machine proof of the theorem on exponential diophantine representation of enumerable sets.
Journal of Symbolic Logic,
Vol. 49,
Issue. 3,
p.
818.
Jones, J. P.
and
Matijasevič, Y. V.
1991.
Proof of Recursive Unsolvability of Hilbert's Tenth Problem.
The American Mathematical Monthly,
Vol. 98,
Issue. 8,
p.
689.
1992.
Vol. 125,
Issue. ,
p.
603.
Matiyasevich, Yuri
1994.
A direct method for simulating partial recursive functions by Diophantine equations.
Annals of Pure and Applied Logic,
Vol. 67,
Issue. 1-3,
p.
325.
Lambek, J.
1997.
Programs, Grammars and Arguments: A Personal View of some Connections between Computation, Language and Logic.
Bulletin of Symbolic Logic,
Vol. 3,
Issue. 3,
p.
312.
Matiyasevich, Yuri
2005.
New Computational Paradigms.
Vol. 3526,
Issue. ,
p.
310.
Maurer, Ward Douglas
2008.
A survey of state vectors.
Computer Science Review,
Vol. 2,
Issue. 1,
p.
1.
Matiyasevich, Yuri
2008.
New Computational Paradigms.
p.
59.
Matiyasevich, Yuri
2009.
Existential arithmetization of Diophantine equations.
Annals of Pure and Applied Logic,
Vol. 157,
Issue. 2-3,
p.
225.
Mosconi, Jean
2014.
Constructivity and Computability in Historical and Philosophical Perspective.
Vol. 34,
Issue. ,
p.
37.
Bournez, Olivier
Dowek, Gilles
Gilleron, Rémi
Grigorieff, Serge
Marion, Jean-Yves
Perdrix, Simon
and
Tison, Sophie
2020.
A Guided Tour of Artificial Intelligence Research.
p.
1.
Matiyasevich, Yu.
2020.
The Riemann Hypothesis in computer science.
Theoretical Computer Science,
Vol. 807,
Issue. ,
p.
257.
Johnson-Laird, P. N.
Bucciarelli, Monica
Mackiewicz, Robert
and
Khemlani, Sangeet S.
2022.
Recursion in programs, thought, and language.
Psychonomic Bulletin & Review,
Vol. 29,
Issue. 2,
p.
430.
Matiyasevich, Yuri
2022.
Algebraic Informatics.
Vol. 13706,
Issue. ,
p.
15.