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.