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
Stoltenberg-Hansen V., Tucker J. V. [1999] Computable rings and fields Handbook of Computability Theory, Elsevier, 363-447 ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Stoltenberg-Hansen V., Tucker J. V. [1995] Effective algebras Handbook of Logic in Computer Science, 4, 357-526, Oxford Univ. Press, NY ? G article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Tucker J. V. [1980] Computing in algebraic systems London Math. Soc. Lect. Notes, 45, 215-235, Cambridge Univ. Press 81.03.54 G article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Bergstra J. A., Tucker J. V. [1980] A characterization of computable data types by means of a finite, equational specification method Lect. Notes in Comp. Sci., 85, 76-90, Springer-Verlag 81.B2.793 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.T Takeuti G. Talasbaeva Z.T. Tanaka H. Tarski A. Tennenbaum S. Terwijn S.A. Thomason S.K. Thompson S. Thuraisingham M.B. Thurber J. J. Titgemeyer D. Tompa M. Torenvliet L. Trachtenbrot B.A. Trotter W. Truss J.K. Tucker J. V. Turing A.M. Вернуться на главную страницу
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.