Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Гуревич Юрий

В базах данных Math-Net.Ru
Публикаций: 15
Научных статей: 13
Лекций и докладов: 7

Статистика просмотров:
Эта страница:3076
Страницы публикаций:2467
Полные тексты:1152
Списки литературы:45
доктор физико-математических наук (1968)
Сайт: https://web.eecs.umich.edu/~gurevich

https://www.mathnet.ru/rus/person71951
Список публикаций на Google Scholar
https://zbmath.org/authors/?q=ai:gurevich.yuri|gurevich.yu-sh|gurevich.yu
https://mathscinet.ams.org/mathscinet/MRAuthorID/78480

Публикации в базе данных Math-Net.Ru Цитирования
2014
1. L. Beklemishev, Yu. Gurevich, “Propositional primal logic with disjunction”, J. Logic Comput., 24:1 (2014),  257–282  mathnet  mathscinet  zmath  isi  scopus 13
1972
2. Ю. Ш. Гуревич, И. О. Коряков, “Замечания к работе Р. Бергера о проблеме домино”, Сиб. матем. журн., 13:2 (1972),  459–463  mathnet  mathscinet  zmath; Yu. Sh. Gurevich, I. O. Koryakov, “A remark on R. Berger's work on the domino problem”, Siberian Math. J., 13:2 (1972), 319–321 59
1969
3. Ю. Ш. Гуревич, “Проблема разрешения проблем разрешения”, Алгебра и логика, 8:6 (1969),  640–642  mathnet  mathscinet
4. Ю. Ш. Гуревич, “Проблема разрешения для логики предикатов и операций”, Алгебра и логика, 8:3 (1969),  284–308  mathnet  mathscinet
1967
5. Ю. Ш. Гуревич, “Наследственная неразрешимость одного класса структурно упорядоченных абелевых групп”, Алгебра и логика. Семинар, 6:1 (1967),  45–62  mathnet  mathscinet 1
6. Ю. Ш. Гуревич, “К элементарной теории структурно-упорядоченных абелевых групп и $K$-линеалов”, Докл. АН СССР, 175:6 (1967),  1213–1215  mathnet  mathscinet  zmath
1966
7. Ю. Ш. Гуревич, “Проблема равенства слов для некоторых классов полугрупп”, Алгебра и логика. Семинар, 5:5 (1966),  25–35  mathnet  mathscinet 5
8. Ю. Ш. Гуревич, “Об эффективном распознавании выполнимости формул УИП”, Алгебра и логика. Семинар, 5:2 (1966),  25–55  mathnet  mathscinet
9. Ю. Ш. Гуревич, “Проблема разрешения для узкого исчисления предикатов”, Докл. АН СССР, 168:3 (1966),  510–511  mathnet  mathscinet  zmath
10. Ю. Ш. Гуревич, “К проблеме разрешения для чистого узкого исчисления предикатов”, Докл. АН СССР, 166:5 (1966),  1032–1034  mathnet  mathscinet  zmath
1965
11. Ю. Ш. Гуревич, “Экзистенциальная интерпретация”, Алгебра и логика. Семинар, 4:4 (1965),  71–85  mathnet  mathscinet
1964
12. Ю. Ш. Гуревич, “Элементарные свойства упорядоченных абелевых групп”, Алгебра и логика. Семинар, 3:1 (1964),  5–39  mathnet  mathscinet 1
1963
13. Ю. Ш. Гуревич, А. И. Кокорин, “Универсальная эквивалентность упорядоченных абелевых групп”, Алгебра и логика. Семинар, 2:1 (1963),  37–39  mathnet  mathscinet 4

2022
14. С. Н. Артемов, Я. М. Барздинь, Л. А. Бокуть, Ю. Ш. Гуревич, А. М. Дехтярь, Л. А. Левин, И. А. Ломазова, Ю. В. Матиясевич, В. А. Непомнящий, С. П. Новиков, А. Рабинович, В. Ю. Сазонов, А. О. Слисенко, В. А. Соколов, М. Б. Трахтенброт, Н. В. Шилов, “Борис Абрамович Трахтенброт (к столетию со дня рождения)”, УМН, 77:1(463) (2022),  191–195  mathnet  mathscinet  zmath; S. N. Artemov, J. M. Barzdiņš, L. A. Bokut', Yu. Gurevich, A. M. Dekhtyar', L. A. Levin, I. A. Lomazova, Yu. V. Matiyasevich, V. A. Nepomnyashchii, S. P. Novikov, A. Rabinovich, V. Yu. Sazonov, A. O. Slisenko, V. A. Sokolov, M. B. Trakhtenbrot, N. V. Shilov, “Boris Abramovich Trakhtenbrot (on the centenary of his birth)”, Russian Math. Surveys, 77:1 (2022), 183–188  isi
2013
15. Д. А. Архангельский, Б. С. Байжанов, О. В. Белеградек, В. Я. Беляев, Л. А. Бокуть, М. К. Валиев, С. К. Водопьянов, М. Гитик, Ю. Ш. Гуревич, Д. О. Дадеркин, А. М. Дехтярь, М. И. Дехтярь, А. Я. Диковский, С. М. Дудаков, Е. И. Зельманов, Б. И. Зильбер, С. Л. Крушкаль, С. С. Кутателадзе, Ю. В. Матиясевич, Г. Е. Минц, И. Х. Мусикаев, А. К. Ребров, Ю. Г. Решетняк, А. Л. Семенов, А. П. Столбоушкин, И. А. Тайманов, Б. А. Трахтенброт, “Михаил Абрамович Тайцлин (1936–2013)”, Сиб. электрон. матем. изв., 10 (2013),  54–65  mathnet

Доклады и лекции в базе данных Math-Net.Ru
1. Negative probabilities: What are they for?
Yu. Sh. Gurevich
Общеинститутский семинар «Математика и ее приложения» Математического института им. В.А. Стеклова Российской академии наук
18 ноября 2021 г. 16:00   
2. Logic and foundations: A personal perspective
Yu. Gurevich
Logical Perspectives 2020: Open Lectures
17 ноября 2020 г. 18:00   
3. What, if anything, can be done in linear time?
Yu. Gurevich
Семинар лаборатории математической логики (Санкт-Петербург)
30 июня 2020 г. 18:30   
4. Logic in computer science, computer engineering and mathematics
Yuri Gurevich
Logical Perspectives 2018
15 мая 2018 г. 10:00   
5. What is the intrinsic logic of infons?
Andreas Blass, Yuri Gurevich
Международная конференция «Logical Models of Reasoning and Computation»
2 февраля 2012 г. 10:00   
6. Distributed Knowledge Authorization Language (DKAL). Managing Policies and Trust
Yuri Gurevich
Международная конференция «Logical Models of Reasoning and Computation»
1 февраля 2012 г. 10:00   
7. Тезис Черча–Тюринга: история и недавние продвижения
Ю. Ш. Гуревич
Заседания Московского математического общества
27 октября 2009 г.

Организации
 
  Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024