Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Hasenjaeger, G.
1984.
Logic and Machines: Decision Problems and Complexity.
Vol. 171,
Issue. ,
p.
248.
SHIH-PING, Tung
1985.
On weak number theories.
Japanese journal of mathematics. New series,
Vol. 11,
Issue. 2,
p.
203.
Ruohonen, Keijo
1986.
The Book of L.
p.
393.
Wagon, Stan
1986.
The evidence.
The Mathematical Intelligencer,
Vol. 8,
Issue. 3,
p.
58.
Tung, S.P
1987.
Computational complexities of diophantine equations with parameters.
Journal of Algorithms,
Vol. 8,
Issue. 3,
p.
324.
Ribenboim, Paulo
1988.
The Book of Prime Number Records.
p.
129.
Delzell, Charles N.
1988.
Correction to “Note on Quantifier Prefixes Over Diophantine Equations”.
Mathematical Logic Quarterly,
Vol. 34,
Issue. 3,
p.
283.
Ribenboim, Paulo
1989.
The Book of Prime Number Records.
p.
129.
Camps, M.
Montheard, J.P.
Benrokia, F.
Camps, J.M.
and
Pham, Q.T.
1990.
Bromation heterolytique du polystyrene en phase homogene—I. Etude R.M.N. 13C et 1H de la regioselectivite de la bromation.
European Polymer Journal,
Vol. 26,
Issue. 1,
p.
53.
da Costa, N. C. A.
and
Doria, F. A.
1991.
Undecidability and incompleteness in classical mechanics.
International Journal of Theoretical Physics,
Vol. 30,
Issue. 8,
p.
1041.
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.
Matiyasevich, Yu. V.
1991.
Diophantine complexity.
Journal of Soviet Mathematics,
Vol. 55,
Issue. 2,
p.
1603.
Flath, Dan
and
Wagon, Stan
1991.
How to Pick Out the Integers in the Rationals: An Application of Number Theory to Logic.
The American Mathematical Monthly,
Vol. 98,
Issue. 9,
p.
812.
da Costa, N. C. A.
and
Doria, F. A.
1991.
Classical physics and Penrose's thesis.
Foundations of Physics Letters,
Vol. 4,
Issue. 4,
p.
363.
Sun, Zhi‐Wei
1992.
ANEW RELATION‐COMBINING THEOREM AND ITS APPLICATION.
Mathematical Logic Quarterly,
Vol. 38,
Issue. 1,
p.
209.
Matijasevich, Yuri
1992.
My collaboration with Julia Robinson.
The Mathematical Intelligencer,
Vol. 14,
Issue. 4,
p.
38.
Baxa, Christoph
1993.
A Note on Diophantine Representations.
The American Mathematical Monthly,
Vol. 100,
Issue. 2,
p.
138.
Matijasevich, Yuri
1993.
Erratum to: My collaboration with Julia Robinson.
The Mathematical Intelligencer,
Vol. 15,
Issue. 1,
p.
75.
Da Costa, N. C. A.
and
Doria, F. A.
1994.
Patrick Suppes: Scientific Philosopher.
p.
151.
Cegielski, Patrick
1996.
Definability, decidability, complexity.
Annals of Mathematics and Artificial Intelligence,
Vol. 16,
Issue. 1,
p.
311.