Новости
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
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
Поиск
Ершов Ю.Л. [1977] Теория нумераций М., Наука 78.07.70 SG книга Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Ершов Ю.Л. [1972] Об элементарных теориях групп ДАН СССР , 203, № 6, 1240-1243 72.08.295 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Ершов Ю.Л. [1969] Гипергиперпростые m -степени Алгебра и логика, 8, № 5, 523-552 70.09.61 EOS статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Ершов Ю.Л. [1965] Неразрешимость некоторых полей ДАН СССР, 161, № 1, 27-29 65.07.65 E статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Ершов Ю.Л. [1987] О порождаемости допустимых множеств Алгебра и логика, 26, № 5, 577-596 88.11.27 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Ершов Ю.Л. [1967] О полях с разрешимой теорией ДАН СССР, 174, № 1, 19-20 67.10.323 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Ершов Ю.Л. [1986] Об f A -пространствах Алгебра и логика, 25, № 5, 533-543 87.08.35 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Ершов Ю.Л. [1972] Существование конструктивизаций ДАН СССР, 204, № 5, 1041-1044 72.10.68 G статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Ершов Ю.Л. [1966] Новые примеры неразрешимых теорий Алгебра и логика, 5, № 5, 37-48 67.06.88 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Ершов Ю.Л. [1974] Полулокальные поля ДАН СССР 215, № 1, 41-44 74.07.83 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Ершов Ю.Л. [1976] Наследственно эффективные операции Алгебра и логика, 15, № 6, 642-654 77.11.87 E статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Ершов Ю.Л. [1968] О вычислимых нумерациях Алгебра и логика, 7, № 5, 71-99 69.09.51 EOG статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Ершов Ю.Л. [1970] О неотделимых парах Алгебра и логика, 9, № 6, 661-666 71.07.72 EOS статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Ершов Ю.Л. [1968] Об одной иерархии множеств, I Алгебра и логика, 7, № 1, 47-74 69.02.78 EOSG статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Ершов Ю.Л. [1995] Определимость в наследственно конечных надстройках Докл. РАН, 340, № 1, 12-14 ? статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Ершов Ю.Л. [1971] Позитивные эквивалентности Алгебра и логика, 10, № 6, 620-650. 72.09.48 EOS статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Ершов Ю.Л. [1988] Инвариантная порождаемость Сибирск. матем. журнал, 29, № 5, 109-111 89.01.200 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Ершов Ю.Л. [1985] Σ-определимость в допустимых множествах ДАН СССР, 285, № 4, 792-795 86.05.119 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Ершов Ю.Л. [1967] Об элементарных теориях многообразий Поста Алгебра и логика, 6, № 5, 7-15 68.07.120 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Ершов Ю.Л. [1990] Форсинг в допустимых множествах Алгебра и логика, 29, № 6, 648-658 92.05.33 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Ершов Ю.Л. [1972] Непрерывные решетки и A -пространства ДАН СССР, 207, № 3, 523-526 73.05.96 E статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Ершов Ю.Л. [1964] Разрешимость некоторых неэлементарных теорий Алгебра и логика, 3, № 2, 45-47 65.04.82 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Ершов Ю.Л. [1999] О существенных расширениях T 0 -пространств Докл. РАН, т.368, № 3, 299-302 00.04.467 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Ершов Ю.Л. [1965] Об элементарных теориях локальных полей Алгебра и логика, 4, № 2, 5-30 66.07.251 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Ершов Ю.Л. [1974] О модели G теории BR ДАН СССР, 217, № 5, 1004-1006 75.01.112 E статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Ершов Ю.Л. [1973] Теория A -пространств Алгебра и логика, 12, № 4, 369-416 74.06.101 EO статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Ершов Ю.Л. [1999] Δ-пространства Алгебра и логика, т.38, № 6, 667-679 00.07.300 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Ершов Ю.Л. [1983] Принцип Σ-перечисления ДАН СССР, 270, № 4, 786-788 83.11.55 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Ершов Ю.Л. [1977] Нумерация класса C 20 * Алгебра и логика, 16, № 6, 637-642 78.08.70 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Ершов Ю.Л. [1980] Проблемы разрешимости и конструктивные модели М., Наука 80.12.21 OSG книга Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Ершов Ю.Л. [1982] ω-полные A -пространства Кибернетика, № 6, 6-9 83.07.59 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Ершов Ю.Л. [1970] Об индексных множествах Сибирск. матем. журнал, 11, № 2, 326-342 70.07.82 EOSG статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Ершов Ю.Л. [1965] Об элементарной теории максимальных нормированных полей Алгебра и логика, 4, № 3, 31-70 66.07.253 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Ершов Ю.Л. [1972] Всюду определенные непрерывные функционалы Алгебра и логика, 11, № 6, 656-665 73.08.49 E статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Ершов Ю.Л. [1979] Дистрибутивные решетки с относительными дополнениями Алгебра и логика, 18, № 6, 680-722. 80.09.302 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Ершов Ю.Л. [1967] Нумерация семейств общерекурсивных функций Сибирск. матем. журнал, 8, № 5, 1015-1025 68.06.76 E статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Ершов Ю.Л. [1968] Об одной иерархии множеств, II Алгебра и логика, 7, № 4, 15-47 69.09.50 EOSG статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Ершов Ю.Л. [1994] Разрешимость теории класса полей F * f Докл. РАН, 336, № 6, 733-736 95.03.284 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Ершов Ю.Л., Тайцлин М.А. [1963] Неразрешимость некоторых теорий Алгебра и логика, 2, № 5, 37-41 64.10.248 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Ершов Ю.Л. [1970] Об одной иерархии множеств, III Алгебра и логика, 9, № 1, 34-51 70.10.74 EOSG статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Ершов Ю.Л. [1969] Полно нумерованные множества Сибирск. матем. журнал, 10, № 5, 1048--1064 70.05.62 E статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Ершов Ю.Л. [1981] Неразрешимость регулярно замкнутых полей Алгебра и логика, 20, № 4, 389-394 82.05.298 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Ершов Ю.Л. [1983] Динамическая логика над допустимыми множествами ДАН СССР, 273, № 5, 1045-1048 84.05.78 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Ершов Ю.Л. [1968] Ограниченные теории вполне упорядоченных множеств Алгебра и логика, 7, № 3, 38-47 69.04.58 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Ершов Ю.Л. [1984] Сильная неотделимость и k -наследственность Докл. Болг. АН, 37, № 9, 1139-1142 85.05.59 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Ершов Ю.Л. [1981] Элиминируемость кванторов в регулярно замкнутых полях ДАН СССР, 258, №1, 16-20 ? статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Ершов Ю.Л. [1973] Сколемовские функции и конструктивные модели Алгебра и логика, 12, № 6, 644-654 74.11.126 G статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Ершов Ю.Л. [1966] Об элементарной теории максимальных нормированных полей Алгебра и логика, 5, № 1, 5-40 67.03.218 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Ершов Ю.Л [1981] Алгебраические свойства регулярно замкнутых полей Труды МИАН, т.158, 80-86 82.04.356 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Ершов Ю.Л. [1981] Об элементарных теориях регулярно замкнутых полей ДАН СССР, 257, № 2, 271-274 81.07.137 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.