Новости
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
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
Поиск
Вьюгин В.В. [1972] О дискретных классах рекурсивно перечислимых множеств Алгебра и логика, 11, № 3, 243-256 73.03.75 E статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Вьюгин В.В. [1974] Сегменты рекурсивно перечислимых m -степеней Алгебра и логика, 13, № 6, 635-654. 75.08.100 ES статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Вьюгин В.В. [1973] О некоторых примерах верхних полурешеток вычислимых нумераций Алгебра и логика, 12, № 5, 512-529 74.07.122 E статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Вьюгин В.В. [1974] О верхних полурешетках нумераций ДАН СССР, 217, № 4, 749-751 75.01.126 E статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Вьюгин В.В. [1973] О минимальных нумерациях вычислимых классов рекурсивно перечислимых множеств ДАН СССР, 212, № 2, 273-275 74.01.95 E статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.В Важенин Ю.М. Вайнберг Ю.Р. Валидов Ф.И. Васильева И.З. Венцов Ю.Г. Верещагин Н.К. Вершинин К.П. Вехнер С. Вьюгин В.В. Вернуться на главную страницу
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.