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
Heller A. [1990] An existence theorem for recursion categories J. Symbolic Logic, 55, № 3, 1252-1268 91.04.63 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Di Paola R.A., Heller A. [1987] Dominical categories: Recursion Theory without elements J. Symbolic Logic, 52, № 3, 594-635 88.06.77 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.H Haas R. Hâjek P. Hammond T. Harizanov V.S. Harley J.P. Harrington L.A. Harrison J. Harrop R. Harrow K. Hartmanis J. Haught C.A. Hay L. Heaton A.J. Hebeison F. Hecker H.D. Heidler K. Heller A. Helm J.P. Hemachandra L. Hensel G. Hermes H. Herrmann E. Hilbert D. Hinman P.G. Hird G.R. Hirose K. Hirschfeldt D. R. Hirst J.L. Hjorth G. HoKe Hodes H. T. HodgesA HodgesW Hodgson B.R. Homer S. Hopcroff J.E. Hořejš J. Horowitz B.M. HowardWA Hrbacek ...
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.