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
Kristiansen L. Normann D. [1997] Total objects in inductively defined types Arch. Math. Logik Grundl., 36, № 6, 405-436 01.12.134 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Kristiansen L. Normann D. [1994] Interpreting higher computations as types with totality Arch. Math. Logik Grundl., 33, № 4, 243-259 95.07.44 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.... Kastanas J.G. Kastermans B. Kechris A.S. KentCF KentT Khoussainov B. M. Kierstead H. Kinber E. B. Kjos-Hanssen B. Kleene S. C. Kleinberg E.M. Klette R. Knight J.F. KoKI Kochen S. Kolaitis P.G. Kolmogorov A.N. Kontostathis K. Kramer R. Kreisel G. Kripke S. Kristiansen L. Krom M. Kučera A. Kudinov O.V. Kumabe M. Kumar R. Kummer M. Kurtz S.A. Вернуться на главную страницу
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.