Библиография Лаврова И.А.
Новости
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
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
Поиск
Добрица В.П. [1996] О числе нумераций различных объектов Сб. «Проблемы алгебры,геометрии и их приложений", Ош, 5 - 9 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Добрица В.П. [1994] О полурешетках вычислимых индексаций эффективно счетной ширины Сб. "Алгебра, логика и приложения" Иркутский ГУ, 66 -72 статья Вернуться ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Добрица В.П. [1998] Сводимости и вычислимые индексации Тр. конф. по математике, посвященной памяти А.Д. Тайманова (Алматы, 1997), 9-14 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Добрица В.П. [1987] Классы с ограниченно эквивалентными индексациями Вычис. системы, 122, 59-72, Новосибирск 88.Г9.312 G статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Добрица В.П. [1994] О вычислимости множества вычислимых индексаций класса конструктивных моделей Мат. заметки, 55, № 5, 43-50 94.12.56 G статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Добрица В.П. [1989] Вычислимые классы конструктивных моделей с не предельно эквивалентными нумерациями Мат. заметки, 46, № 4, 8-13 90.08.260 G статья Вернуться ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Добрица В.П. [1983] Сложность индексных множеств конструктивных моделей Алгебра и логика, 22, № 4, 372-381 84.08.50 G статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Добрица В.П. [1989] Вычислимость некоторых подклассов вычислимого класса конструктивных моделей Сибирск. матем. журнал, 30, № 3, 45-51 ? G статья Вернуться ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Добрица В.П. [1987] Локальные классы и вычислимые индексации Алгебра и логика, 26, № 2, 169-190 88.06.91 G статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Добрица В.П. [1988] Полиномиально ограниченные сводимости вычислимых индексаций Вычис. системы, 124, 46-61, Новосибирск 89.Г3.327 G статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Добрица В.П. [1976] Теорема о вычислимых классах Тематический сборник Каз ПИ "Матем. науки", Алма-Ата, 3-8 ? статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Добрица В.П. [1989] Типы данных и вычислимые классы конструктивных моделей Вычис. системы, 129, 128--136, Новосибирск 90.09.80 G статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Добрица В.П. [1977] Вычислимость некоторых классов конструктивных алгебр Сибирск. матем. журнал, 18, № 3, 570-579 77.12.88 G статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Добрица В.П. [1975] О рекурсивно – нумерованных классах конструктивных расширений и автоустойчивость алгебр Сибирск. матем. журнал, 1б № 6, 1148-1154 76.05.81 G ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Добрица В.П. [1987] О полурешетках вычислимых индексаций классов конструктивных моделей Алгебра и логика, 26, № 5, 558-576 88.11.51 G статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Добрица В.П. [2002] Об индексных множествах в обобщенных вычислимых нумерациях Математический журнал. Институт математики МОиН РК, Алматы, т.2 № 1, 38-42 02....
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Добрица В.П. [1987] Структурные свойства вычислимых классов конструктивных моделей Алгебра и логика, 26, № 1, 36-62 88.02.39 EG статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Добрица В.П. [1986] Число вычислимых индексаций конечных классов конструктивных моделей Мат. заметки, 40, № 1, 93-97 86.11.62 G статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Добрица В.П.,Леонов М.Г. [2000] Различимость предельных ограниченных сводимостей Вестн. Алматинский ГУ, Физ.-мат. серия. №1 (1), 16-20 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Добрица В.П. [1994] Условия эффективной бесконечности множества вычислимых индексаций класса конструктивных моделей Сибирск. матем. журнал, 35, № 1, 66-69 ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Добрица В.П. [1987] Об ограниченной предельной сводимости вычислимых индексаций классов конструктивных моделей, Вычис. системы, 120, 143-158, Новосибирск ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Добрица В.П. [1982] О числе вычислимых индексаций класса конструктивных моделей Тематический сборник Каз ГУ «Исследования по конструктивным моделям»,...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Добрица В.П. [1986] Сложность индексных множеств вычислимых классов с конечным числом конструктивных систем Сибирск. матем. журнал, 27, № 5, 68-74 88.01.58 G статья ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Добрица В.П. [2002] Сводимости вычислимых нумераций и индексации Tpуды Межд.кoнф. пo мaт. лoгике в честь Ю.Л Еpшoвa и А.И. Мaльцeвa, Hoвoсибиpcк, Из-во НГУ, 236-244 05....
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Добрица В.П.,Леонов М.Г. [2006] Классификация предельных сводимостей Сб. "Теория моделей в Казахстане", ECO STUDY, Алматы, 53 - 58 09.12.124 статья Вернуться к ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Добрица В.П. [1988] О перечислимых подклассах вычислимого класса конструктивных моделей Тематический сборник МНО Каз ССР "Исследования по алгебраической ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Добрица В.П. [2002] Индексные множества вычислимых нумераций относительно классов иерархии Клини-Мостовского Сб. материалов I меж. науч.-практ. конф. «Наука ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Д Дворников С.Г. Дегтев А.Н. Денисов С.Д. Джеффри Р. Дзгоев В.Д. Дичев А. Добрица В.П. Доуни Р. Драгалин А.Г. Дроботун Б.Н. Дурнев В.Г. Душский В.А. Дымент Е.З. Вернуться на главную страницу
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.