Основные темы научной работы |
Теории первого порядка, логики доказуемости, модели вычислений. |
|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2017 |
| 1. |
I. I. Dolgaleva, I. A. Gorshkov, R. E. Yavorskiy, “Narrabat — a prototype service for stylish news retelling”, Труды ИСП РАН, 29:4 (2017), 325–336   |
|
2003 |
| 2. |
Р. Э. Яворский, “О пренексном фрагменте логики доказуемости с кванторами по
доказательствам”, Труды МИАН, 242 (2003), 123–135   ; R. È. Yavorskii, “On Prenex Fragment of Provability Logic with Quantifiers on Proofs”, Proc. Steklov Inst. Math., 242 (2003), 112–124 |
1
|
|
1999 |
| 3. |
Р. Э. Яворский, “Предикатные логики выразительно сильных теорий”, Матем. заметки, 66:5 (1999), 777–788 ; R. È. Yavorskii, “Predicate logics of expressively strong theories”, Math. Notes, 66:5 (1999), 642–650  |
1
|
|
1998 |
| 4. |
Р. Э. Яворский, “Разрешимые логики первого порядка”, Фундамент. и прикл. матем., 4:2 (1998), 733–749 |
2
|
| 5. |
Р. Э. Яворский, “Предикатные логики разрешимых фрагментов арифметики”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 1998, № 2, 12–16 |
1
|
|
1996 |
| 6. |
Р. Э. Яворский, “Системы аксиом и модели для теорий первого порядка с оператором доказуемости”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 1996, № 1, 12–16 |
|
Обратная связь: