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
Schinzel B. [1979] Classes of decompositions of a Gödel numbering Math.Res., 2, 397-403 80.05.59 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Schinzel B. [1980] Decomposition of Godel-numberings into Friedberg-numberings J. Symbolic Logic, 47, № 2, 267-274 82.11.22 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Schinzel B. [1977] Decomposition of Godel-numberings into Friedberg-numberings Z. math. Logik und Grundl. Math., 23 , № 5 , 393-399 78.07.72 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Schinzel B. [1982] Complexity of decompositions of Gödel numberings Ann. Soc. math. pol., ser. 4,5, № 1, 15-93 83.03.60 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Schinzel B. [1980] Zerlegung mit Vergleichsbedingungen einer Gödel numberierung Z. math. Logik und Grundl. Math., 26, № 3, 215-226 81.02.49 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.S Sacks G.E. Salts M.C. Sanches L. Sankappanavar H.P. Sasso L.P. Schaefer M. Schaeffer B. Schäfer G. Schinzel 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 ...
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.