RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ЛИЧНЫЙ КАБИНЕТ
 
Яворский Ростислав Эдуардович

В базах данных Math-Net.Ru
Публикаций: 4 (4)
в MathSciNet: 13 (13)
в zbMATH: 12 (12)
в Web of Science: 6 (6)
Цитированных статей: 2
Ссылок в Math-Net.Ru: 3
Лекций и докладов: 1

Статистика просмотров:
Эта страница:1141
Страницы публикаций:610
Полные тексты:188
Списки литературы:37
кандидат физико-математических наук
E-mail:
Сайт: http://www.mi.ras.ru/~rey

Основные темы научной работы

Теории первого порядка, логики доказуемости, модели вычислений.


http://www.mathnet.ru/rus/person19205
Список публикаций на Google Scholar
http://zbmath.org/authors/?q=ai:yavorskiy.rostislav
http://www.ams.org/mathscinet/search/author.html?return=viewitems&mrauthid=628543

Публикации в базе данных Math-Net.Ru
1. Narrabat — a prototype service for stylish news retelling
I. I. Dolgaleva, I. A. Gorshkov, R. E. Yavorskiy
Труды ИСП РАН, 29:4 (2017),  325–336
2. О пренексном фрагменте логики доказуемости с кванторами по доказательствам
Р. Э. Яворский
Тр. МИАН, 242 (2003),  123–135
3. Предикатные логики выразительно сильных теорий
Р. Э. Яворский
Матем. заметки, 66:5 (1999),  777–788
4. Разрешимые логики первого порядка
Р. Э. Яворский
Фундамент. и прикл. матем., 4:2 (1998),  733–749

Доклады и лекции в базе данных Math-Net.Ru
1. Моделирование и анализ вычислительных процессов
Р. Э. Яворский
Коллоквиум Факультета компьютерных наук НИУ ВШЭ
5 марта 2015 г. 16:40   

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