@article{Robinson_1972,
    doi = {10.2307/2272763},
    url = {https://doi.org/10.2307%2F2272763},
    year = {1972},
    month = {sep},
    publisher = {Cambridge University Press ({CUP})},
    volume = {37},
    number = {3},
    pages = {605--606},
    author = {Julia Robinson},
    title = {{\'{U}}. V. Mati{\'{a}}s{\'{e}}vi{\v{c}} Diofantovost{\textquotesingle} p{\'{e}}r{\'{e}}{\v{c}}islimyh mno{\v{z}}{\'{e}}stv. Doklady Akad{\'{e}}mii Nauk {SSSR}, vol. 191 (1970), pp. 279--282. - Ju. V. Matijasevi{\v{c}}. Enumerable sets are diophantine. English translation of the preceding by A. Doohovskoy. Soviet mathematics, vol. 11 no. 2 (1970), pp. 354--357. See Errata, ibid., vol. 11 no. 6 (for 1970, pub. 1971), p. vi.},
    journal = {Journal of Symbolic Logic}
}

@article{Robinson_1972, doi = {10.2307/2272763}, url = {https://doi.org/10.2307%2F2272763}, year = {1972}, month = {sep}, publisher = {Cambridge University Press ({CUP})}, volume = {37}, number = {3}, pages = {605--606}, author = {Julia Robinson}, title = {{\'{U}}. V. Mati{\'{a}}s{\'{e}}vi{\v{c}} Diofantovost{\textquotesingle} p{\'{e}}r{\'{e}}{\v{c}}islimyh mno{\v{z}}{\'{e}}stv. Doklady Akad{\'{e}}mii Nauk {SSSR}, vol. 191 (1970), pp. 279--282. - Ju. V. Matijasevi{\v{c}}. Enumerable sets are diophantine. English translation of the preceding by A. Doohovskoy. Soviet mathematics, vol. 11 no. 2 (1970), pp. 354--357. See Errata, ibid., vol. 11 no. 6 (for 1970, pub. 1971), p. vi.}, journal = {Journal of Symbolic Logic} }

Library Size: 13G (12941 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A badge