Библиография Лаврова И.А.

Козмидиади В.А., Мучник А.А. (ред.) [1970] Сб. переводов «Проблемы в математической логике; Сложность алгоритмов и классы вычислимых функций» М., Мир 71.01.50 книга Вернуться к поиску

Rabin M. [1963] Real time computability Israel. J. Math, 1, № 4 , 203-211 (Русский перевод в сб. Проблемы в математической логике: Сложность алгоритмов и классы вычислимых функций. (Козмидиади В.А., Мучник А.А.-редакторы), М., Мир, 1970, 156-167.) 65.02.120 O article Вернуться к поиску

Axt P. [1965] Iteration of primitive recursion Math. Ann., 167, № 1, 53-55 (Русский перевод в сб. Проблемы в математической логике: Сложность алгоритмов и классы вычислимых функций. (Козмидиади В.А., Мучник А.А.-ред.), М., Мир, 1970, 114-117.) 67.03.46 O article Вернуться к поиску

Cleave J.P. [1963] A hierarchy of primitive recursive function Z. math. Logik und Grundl. Math., 9 , № 4, 331-345 (Русский перевод в сб. Проблемы в математической логике: Сложность алгоритмов и классы вычислимых функций. , (Козмидиади В.А., Мучник А.А.-редакторы), М., Мир, 1970) 64.12.60 O article Вернуться к поиску

Grzegorczyk A. [1953] Some classes of recursive functions Rozprawy.Mathematycne, 4, Warszawa, 1-45 (Русский перевод в Cб. пер. Козмидиади В.А., Мучник А.А. (ред.) «Проблемы в матем. логике; Сложность алгоритмов и классы вычислимых функций», М., Мир, 1970, 9-49.) 59.01.76 ORS book Вернуться к поиску

Ritchie R.W. [1963] Classes of predicatable computable functions Trans. Amer. Math. Soc., 106, № 1, 139-173 (Русский перевод в сб. Проблемы в математической логике: Сложность алгоритмов и классы вычислимых функций. (Козмидиади В.А., Мучник А.А.-редакторы), М., Мир, 1970, 50-93.) 63.08.65 R article Вернуться к поиску

Blum M. [1967] A machine independent theory of the complexity of recursive functions J. Ass. Comp. Mach., 14, № 2, 322-336 (Русский перевод в Проблемы в математической логике: Сложность алгоритмов и классы вычислимых функций (Козмидиади В.А., Мучник А.А.-редакторы), М., Мир, 1970, 401-422.) 68.06.70 O article Вернуться к поиску

Axt P. [1966] Iteration of relative primitive recursion Z. math. Logik und Grundl. Math., 11, № 3, 253-255 (Русский перевод в сб. Проблемы в математической логике: Сложность алгоритмов и классы вычислимых функций. (Козмидиади В.А., Мучник А.А.-редакторы), М., Мир, 1970, 118 -122.) 67.03.46 O article Вернуться к поиску

... computations IEEE Conf. Rec. Switch, Circuit Theory and Logic, Design (Ann. Arbor, Mich., 1965), № 9, Inst. Electr. and Electron. Engs., 1965, 179-190. (Русский перевод в сб. Проблемы в математической логике: Сложность алгоритмов и классы вычислимых функций. (Козмидиади В.А., Мучник А.А.-ред.), М., Мир, 1970, 301-338.) 67.B5.171 O article Вернуться к поиску

К Казанович Ю. Б. Калверт У. Калимуллин И.Ш. Каллибеков С. Камминс Д. Канович М.И. Каргаполов М. И. Касымов Н. Х. Катленд Н. Кехайапулу Н. Кинбер Е.Б. Клини С. К. Клосс Б.М. Кобзев Г.Н. Когабаев Н.Т. Козмидиади В.А. Козьминых В.В. Кокорин А.И. Колганов Н. Колмогоров А.Н. Комбарро Э.Ф. Корольков Ю.Д. Костырко В.Ф. Крупский В.Н. Ксяо-динг Йн Кудинов О.В. Кузнецов А.В. Кузьмина Т.М. Куммер М. Купер С.Б. Курдюмов Г.Л. Кучера А. Вернуться на главную страницу