Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
1963.
A SURVEY OF MATHEMATICAL LOGIC.
Vol. 33,
Issue. ,
p.
82.
Hermes, Hans
1969.
Enumerability · Decidability Computability.
p.
187.
Caviness, B. F.
1970.
On Canonical Forms and Simplification.
Journal of the ACM,
Vol. 17,
Issue. 2,
p.
385.
Hermes, Hans
1971.
Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit.
p.
188.
Davis, Martin
1973.
Hilbert's Tenth Problem is Unsolvable.
The American Mathematical Monthly,
Vol. 80,
Issue. 3,
p.
233.
Hazewinkel, M.
1988.
Encyclopaedia of Mathematics.
p.
1.
Vinogradova, I. A.
El’kin, A. G.
Prokhorov, Yu. V.
Efimov, B. A.
Kuptsov, L. P.
Rozov, N. Kh.
Oskolkov, V. A.
Kudryavtsev, L. D.
Khvedelidze, B. V.
Zakharov, A. A.
Tsalenko, M. Sh.
Solomentsev, E. D.
Ershov, Yu. L.
Dolgachev, I. V.
Venkov, B. B.
Parshin, A. N.
Kostrikin, A. I.
Ivanov, A. B.
Terekhin, A. P.
Emelyanov, V. F.
Sazonov, V. V.
Voĭtsekhovskiĭ, M. I.
Volkov, I. I.
Aleksandrov, P. S.
Prokhorov, A. V.
Zubkov, A. M.
Grishin, V. N.
Danilevich, A. A.
Nagornyĭ, N. M.
D’yakonov, E. G.
Ikramov, Kh. D.
Bakhvalov, N. S.
Arkhangel’skiĭ, A. V.
Rumyantsev, V. V.
Zarelua, A. V.
Mal’tsev, A. A.
Ivanova, O. A.
Fedotov, V. P.
Kubilyus, I. P.
Bredikhin, B. M.
Dobrushin, P. L.
Prelov, V. V.
Mikhalev, A. V.
Andrunakievich, V. A.
Fedorchuk, V. V.
Platonov, V. P.
Favorskiĭ, A. P.
Anosov, D. V.
Danilov, V. I.
Tonkov, E. L.
Onishchik, A. L.
Pigolkina, T. S.
Pogolkina, T. S.
Skornyakov, L. A.
Sobolev, V. I.
Sabitov, I. Kh.
Lebedev, V. I.
Lykov, A. V.
Dorodnitsyn, A. A.
Iskovskikh, V. A.
Lumiste, Ü.
Shirokov, A. P.
Parkhomenko, A. S.
Shikin, E. V.
Zalgaller, V. A.
Fedoryuk, M. V.
Samarin, M. K.
Germogenova, T. A.
Sklyarenko, E. G.
Chogoshvili, G. S.
Chernavskiĭ, A. V.
Ershov, A. P.
Lutsikovich, V. V.
Merzlyakov, Yu. I.
Shirshov, A. I.
Remeslennikov, V. N.
Gorin, E. A.
Kudryavtsev, V. B.
Gaĭnov, A. T.
Latyshev, V. N.
Voskresenskiĭ, V. E.
Proskuryakov, I. V.
Zhizhchenko, A. B.
Platonov, K. P.
Shidlovskiĭ, A. B.
Galochkin, A. I.
Nemytov, A. I.
Fofanova, T. S.
Vinogradov, A. I.
Baranovich, T. M.
Subbotin, Yu. N.
Smirnov, D. M.
Novikov, S. P.
Iskhovskikh, V. A.
Martynyuk, V. V.
Uspenskiĭ, V. A.
Barzdin, Ya. M.
Petri, N. V.
Zhuravlev, Yu. I.
Adyan, S. I.
Muchnik, A. A.
Alekseevskiĭ, D. V.
Bityutskov, V. I.
Bredikhina, E. A.
Zhikov, V. V.
Levitan, B. M.
Millionshchikov, V. M.
Vil’yams, N. N.
Vrublevskaya, I. N.
Zhevlakov, K. A.
Bokut, L. A.
Romanovskiĭ, N. S.
Vitushkin, A. G.
Chirka, E. M.
Kutuzov, B. V.
Gonchar, A. A.
Shabat, B. V.
Poznyak, E. G.
Popov, V. L.
Ponomarev, D. A.
Gladkiĭ, A. V.
Karatsuba, A. A.
Zabreĭko, P. P.
Zhelobenko, D. P.
Kirillov, A. A.
Leontovich-Andronova, E. A.
Prudnikov, A. P.
Sidorov, L. A.
Minlos, R. A.
Dragalin, A. G.
Bazylev, V. T.
Kaz’min, Yu. A.
Sretenskiĭ, L. N.
Korneĭchuk, N. I.
Motornyĭ, V. P.
Ryaben’kiĭ, V. S.
Korneĭchuk, N. P.
Dolzhenko, E. P.
Konovalov, V. N.
Vilkas, E. I.
Kokorin, A. I.
Kopytov, V. M.
Shevrin, L. N.
Sokolov, D. D.
Rogozin, B. A.
Burago, Yu. D.
Lebedev, N. A.
Bukhshtab, A. A.
Pechaev, V. I.
Mints, G. E.
Klimov, N. I.
Mikheev, V. M.
Shunkov, V. P.
Golubov, B. I.
Leont’ev, A. F.
Nagornyi, N. M.
Nesterov, V. V.
Podobed, V. V.
Erpylev, N. P.
Minin, I. N.
Latyshev, K. P.
Shabunin, M. I.
Gavrilov, V. I.
Shalaevskiĭ, O. V.
Bogdanov, Yu. S.
Butenin, N. V.
Yanov, Yu. I.
Kydryavtsev, V. B.
Red’ko, V. N.
Madatyan, Kh. A.
Letichevskiĭ, A. A.
Buevich, V. A.
Aleshin, S. V.
Letov, A. M.
Fitialov, S. Ya.
Andrianov, A. N.
Kuzichev, A. S.
Plechko, V. N.
Grebenikov, E. A.
Novikov, P. S.
Kabakov, F. A.
and
Taĭmanov, A. D.
1995.
Encyclopaedia of Mathematics.
p.
1.
Davis, Martin
2016.
Martin Davis on Computability, Computational Logic, and Mathematical Foundations.
Vol. 10,
Issue. ,
p.
1.
Morales Guerrero, Laura Elena
2016.
Martin Davis on Computability, Computational Logic, and Mathematical Foundations.
Vol. 10,
Issue. ,
p.
93.
De Mol, Liesbeth
Matiyasevich, Yuri V
Omodeo, Eugenio G
Policriti, Alberto
Sieg, Wilfried
and
Weyuker, Elaine J
2025.
Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy.
Philosophia Mathematica,