Search results
News
General Theory of Computability
(bibliography)
by Lavrov I.A.
By Author Name:
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
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
Search
Матиясевич Ю.В. [1967] Простые примеры неразрешимых ассоциативных исчислений ДАН СССР, 173, № 6, 1264-1266 67.12.55. статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Матиясевич Ю.В. [1993] Десятая проблема Гильберта М., Наука 93.08.28 книга Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Матиясевич Ю.В. [1970] Диофантовость перечислимых множеств ДАН СССР, 191, № 2, 279-282 70.07.80 OS статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Матиясевич Ю.В. [1988] Диофантова сложность Запис. Науч. семинаров ЛОМИ, 1746, 122-131 89.05.38 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Матиясевич Ю.В. [1971] Диофантово представление множества простых чисел ДАН СССР, 196, № 4, 770-773 71.07.117 R статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Матиясевич Ю.В. [1972] Диофантовые множества Успехи мат. наук, 27, № 5, 185-222 73.03.70 O статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Матиясевич Ю.В. [1968] Связь системам уравнений в словах с 10-ой проблемы Гильберта Зап. ЛОМИ АН СССР, VIII, Л., 132--144 69.08.125 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Матиясевич Ю.В. [1967] Простые примеры неразрешимых канонических ассоциативных исчислений Труды Мат. ин-та АН СССР, 93, 50-88 68.05.69 R статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Матиясевич Ю.В. [1984] Об исследованиях по некоторым алгорифмическим проблемам алгебры и теории чисел Труды Мат. ин-та АН СССР, 168, 218-235 84.10.96 статья Вернуться ...
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Матиясевич Ю.В. [1971] Диофантово представление перечислимых предикатов Изв. АН СССР, сер. мат., 35, № 1, 3-30 71.06.51 RS статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Матиясевич Ю.В. [1972] Диофантово представление перечислимых предикатов Межд. конгресс математиков, (Ницца, 1970), М., Наука, 203-206 73.03.71 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Матиясевич Ю.В., Робинсон Дж. [1974] Два универсальных трехкванторных представления перечислимых множеств Сб. Теория алгорифмов и матем. логика, М., ВЦ АН ...
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.М Маканин Г.С. МакКой Ч. Ф. Максимова Л. Л. МальцевАИ МальцевАнА МанФК Манин Ю.И. Маранджан Г.Б. Марков А.А. Марченков С. С. Маслова Т.М. Матиясевич Ю.В. Матросов В.Л. Медведев Ю.Т. Мейтус В.Ю. Мендельсон Э. Микенберг А.М. Миллер С. Минский М. Михеев В.Л. Мокацян А.А. Морозов А. С. МучникАА МучникАнА ...
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.