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
Börger E., Heidler K. [1976] Die m -Grade logischer Entscheidungsprobleme Arch. Math. Logik Grundl., 17, № 3-4, 105-111 76.09.83 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Börger E. [1974] La Σ 3 -completude de l’ensemble des types réduction Logique et analyse, 17, № 65-66, 89-94 75.07.132 E article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Buchberger B. [1974] On certain decompositions of Gödel numbering Arch. Math. Logik Grundl., 16, № 1-2, 85-96 74.10.83 E article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Presburger M. [1929] Über die Vollständigkeit eines gewissen Systems der Arithmetik ganzer Zahlen, in welchem die Addition als einzige Operation hervortritt Comp. Rendus I Cong. Math. des Pays Slaves, (Warszawa, 1929), 92-101 ~ article Вернуться ...
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.... Bergstra J. A. BermanL BermanP Bernardi C. Bernays P. Berry J. Bianchini C. Bickford M. Binns S. Blacino L. Blair H. A. Blaylock R. Blum M. Bojkova E. BookR Boolos G. Boon W.W. Börger E. Borodin A. Boyd R. Brandt U. Breidbart S. BrownAB BrownDK Buchberger B. Büchi J.R. Bulitko V.K. Burkard E. Burris S. Buss S. Byerly R. E. Вернуться на главную страницу
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.P Palmgren E. ParisJB Parsons Ch. Paterson M.S. Payne T.H. Peretyat’kin M.G. Peter R. Pillay A. Pingrey S. Pleszkoch M. Podzorov S.Yu. Posner D.B. Post E.L. Poudestone W. Pour-El M. B. Presburger M. Putnam H. Puzarenko V.G. Вернуться на главную страницу
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.