Search results
News
General Theory of Computability
(bibliography)
by Lavrov I.A.
By Author Name:
English: A-B-C-D-E-F-G-H-I-J-K-L-M-N-O-P-Q-R-S-T-U-V-W-X-Y-Z
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
Search
Shepherdson J.C., Sturgis H. E. [1963] Computability of recursive functions J. Ass. Comp. Mach., 10, № 2, 217-255 64.01.107 ROS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Shepherdson J.C. [1961] Representability of recursively enumerable sets in formal theories Arch. Math. Logik Grundl., 5, № 3-4, 119-127 62.07.58 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Myhill J., Shepherdson J.C. [1955] Effective operations on partial recursive functions Z. math. Logik und Grundl. Math., 1, № 4, 310-317 59.1178 REOSG article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Shepherdson J.C. [1975] Computation over abstract structure: serial and parallel procedure in Friedman’s effective definitional schemes Logic Coll.’73,North-Holland, 445-513 ? O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Shepherdson J.C. [1985] Algotithmic procedures, generalized Turing algorithms, and elementary Recursion Theory Harvey Fridman’s Res. Found. Math., Amsterdam, 285-308 87.Г1.39 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Shepherdson J.C. [1965] Machine configuration and word problem of given degree of unsolvability Z. math. Logik und Grundl. Math., 11, № 2, 149-175 67.05.53 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Fröhlich A., Shepherdson J.C. [1956] Effective procedures in field theory Philos. Trans. Royal. Soc. London, ser.A, 248, № 950, 407-432 59.01.77 SG article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Shepherdson J.C. [1965] Machine configuration and word problem of given degree of unsolvability Proc. II Inter. Congress Logic, Methodology, Philosophy Sci., (Amsterdam, 1965), Amsterdam, 69-80 69.02.80 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.... B. Schmerl J.H. Schmidt D. Schmitz H. Schnorr C. P. Schwabhauser W. Schwarz S. T. Schwichtenberg H. Scott D. Seetapun D. Seidenberg A. Seigneur A. Selivanov V.L. Selman A.L. Semenov A.L. Semukhin P. Shapiro N. Shavrukov V. Yu. Shelach S. Shen A.Kh. Shepherdson J.C. Shi Nian Dong Shinoda J. Shlapentokh A. Shoenfield J.R. Shore R.A. Silibovski S. Simon J. Simpson S.G. Skolem T. Skordev D. Skvortsova E.Z. Slaman T. A. Slinko A. Smith R.L. Smuga-Otto M. J. Smullyan R.M. Soare R. I. SolomonDR SolomonR Solon B. Solovay ...
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.