RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ЛИЧНЫЙ КАБИНЕТ
 
Юн Вета Федоровна

В базах данных Math-Net.Ru
Публикаций: 16
Научных статей: 16

Статистика просмотров:
Эта страница:897
Страницы публикаций:5934
Полные тексты:258
Списки литературы:234
кандидат физико-математических наук
E-mail: ,

http://www.mathnet.ru/rus/person58614
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt
https://mathscinet.ams.org/mathscinet/MRAuthorID/888208

Публикации в базе данных Math-Net.Ru
2019
1. Л. Л. Максимова, В. Ф. Юн, “Узнаваемость в предгейтинговых и стройных логиках”, Сиб. электрон. матем. изв., 16 (2019),  427–434  mathnet  isi
2018
2. Л. Л. Максимова, В. Ф. Юн, “Сильная вычислимость слоев над логикой $\mathrm{GL}$”, Сиб. электрон. матем. изв., 15 (2018),  35–47  mathnet  isi
3. Л. Л. Максимова, В. Ф. Юн, “Расширения минимальной логики и проблема интерполяции”, Сиб. матем. журн., 59:4 (2018),  863–878  mathnet  elib; L. L. Maksimova, V. F. Yun, “Extensions of the minimal logic and the interpolation problem”, Siberian Math. J., 59:4 (2018), 681–693  isi  scopus
4. В. Ф. Юн, “Узнаваемость всех WIP-минимальных логик”, Сиб. матем. журн., 59:1 (2018),  225–237  mathnet  elib; V. F. Yun, “Recognizability of all WIP-minimal logics”, Siberian Math. J., 59:1 (2018), 179–188  isi  scopus
2017
5. Л. Л. Максимова, В. Ф. Юн, “Сильная разрешимость и сильная узнаваемость”, Алгебра и логика, 56:5 (2017),  559–581  mathnet; L. L. Maksimova, V. F. Yun, “Strong decidability and strong recognizability”, Algebra and Logic, 56:5 (2017), 370–385  isi  scopus
6. Л. Л. Максимова, В. Ф. Юн, “Слои и уровни расширений минимальной логики”, Сиб. матем. журн., 58:6 (2017),  1341–1353  mathnet  elib; L. L. Maksimova, V. F. Yun, “Slices and levels of extensions of the minimal logic”, Siberian Math. J., 58:6 (2017), 1042–1051  isi  scopus
2016
7. Л. Л. Максимова, В. Ф. Юн, “Слои над минимальной логикой”, Алгебра и логика, 55:4 (2016),  449–464  mathnet; L. L. Maksimova, V. F. Yun, “Layers over minimal logic”, Algebra and Logic, 55:4 (2016), 295–305  isi  scopus
8. Л. Л. Максимова, В. Ф. Юн, “Исчисления над минимальной логикой и невложимость алгебр”, Сиб. электрон. матем. изв., 13 (2016),  704–715  mathnet  isi
9. Л. Л. Максимова, В. Ф. Юн, “Проблема табличности над минимальной логикой”, Сиб. матем. журн., 57:6 (2016),  1320–1332  mathnet  elib; L. L. Maksimova, V. F. Yun, “The tabularity problem over the minimal logic”, Siberian Math. J., 57:6 (2016), 1034–1043  isi  scopus
2015
10. Л. Л. Максимова, В. Ф. Юн, “Узнаваемые логики”, Алгебра и логика, 54:2 (2015),  252–274  mathnet  mathscinet; L. L. Maksimova, V. F. Yun, “Recognizable logics”, Algebra and Logic, 54:2 (2015), 167–182  isi  scopus
11. В. Ф. Юн, “Полимодальная логика индуктивных линейных по времени фреймов”, Сиб. электрон. матем. изв., 12 (2015),  421–431  mathnet
12. Л. Л. Максимова, В. Ф. Юн, “WIP-минимальные логики и интерполяция”, Сиб. электрон. матем. изв., 12 (2015),  7–20  mathnet
13. В. Ф. Юн, “О линейной логике знания и времени с интранзитивным отношением времени”, Сиб. матем. журн., 56:3 (2015),  715–719  mathnet  mathscinet  elib; V. F. Yun, “On the linear logic of knowledge and time with intransitive time relation”, Siberian Math. J., 56:3 (2015), 565–568  isi  elib  scopus
14. Л. Л. Максимова, В. Ф. Юн, “Интерполяция над минимальной логикой и интервалы Одинцова”, Сиб. матем. журн., 56:3 (2015),  600–616  mathnet  mathscinet  elib; L. L. Maksimova, V. F. Yun, “Interpolation over the minimal logic and Odintsov intervals”, Siberian Math. J., 56:3 (2015), 476–489  isi  elib  scopus
2010
15. В. Ф. Юн, “Временная логика индуктивных фреймов с линейным временем”, Сиб. электрон. матем. изв., 7 (2010),  445–457  mathnet
2009
16. В. Ф. Юн, “Временная логика линейных по времени фреймов с аксиомой индукции”, Сиб. электрон. матем. изв., 6 (2009),  312–325  mathnet  mathscinet

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