Библиография Лаврова И.А.
Новости
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
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
Поиск
Федоряев С.Т. [1990] Некоторые свойства алгебраической сводимости конструктивизаций Алгебра и логика, 29, № 5, 597-612 91.07.65 G статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Федоряев С.Т. [1989] О структурах алгебраической сводимости позитивных нумераций Вычис. системы, 129, 144-151, Новосибирск 90.ВН9.35 G статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Федоряев С.Т. [1990] Конструктивизируемые модели с линейной структурой алгебраической сводимости Мат. заметки, 48, № 6, 106-111 91.07.64 G статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Федоряев С.Т. [1995] Рекурсивно несовместные алгоритмические проблемы на 1-конструктивизируемых дистрибутивных решетках с относительными дополнениями ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Федоряев С.Т. [1993] Счетность ширины структур алгебраической сводимости для моделей некоторых классов Труды ИМ СО РАН, 25, 133-154 94.06.99 G статья Вернуться ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Ф Файзрахманов М.Х. Федоряев С.Т. Фокина Е.Б. Фрейвальд Р.В. Фролов А.Н. Вернуться на главную страницу
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.