Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Плюшкявичус Регимантас

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

Статистика просмотров:
Эта страница:1314
Страницы публикаций:2228
Полные тексты:1845
Списки литературы:79
E-mail:

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

Публикации в базе данных Math-Net.Ru Цитирования
2002
1. R. Pliuškevičius, “Intertible infinitary calculus without loop rules for a restricted FTL”, Зап. научн. сем. ПОМИ, 293 (2002),  149–180  mathnet  mathscinet  zmath; J. Math. Sci. (N. Y.), 126:3 (2005), 1210–1228
1995
2. Регимантас Плюшкявичус, “Насыщенное исчисление для хорновских секвенций полной линейной темпоральной логики первого порядка”, Зап. научн. сем. ПОМИ, 220 (1995),  123–144  mathnet  mathscinet  zmath; Regimantas Pliuškevičius, “Saturated calculus for Horn-like sequents of a complete class of a linear temporal first order logic”, J. Math. Sci. (New York), 87:1 (1997), 3253–3266
1965
3. Р. А. Плюшкявичус, “Об одном варианте конструктивного исчисления предикатов без структурных правил вывода”, Докл. АН СССР, 161:2 (1965),  292–295  mathnet  mathscinet  zmath

2013
4. М. А. Всемирнов, Э. А. Гирш, Д. Ю. Григорьев, Г. В. Давыдов, Е. Я. Данцин, И. Д. Заславский, Э. Ф. Караваев, Б. Ю. Конев, Н. К. Косовский, В. А. Лифшиц, М. Маргенштерн, Ю. В. Матиясевич, Г. Е. Минц, В. П. Оревков, Р. Плюшкявичус, А. О. Слисенко, С. В. Соловьев, В. П. Чернов, “Николай Александрович Шанин (некролог)”, УМН, 68:4(412) (2013),  173–176  mathnet  mathscinet  elib; M. A. Vsemirnov, È. A. Hirsch, D. Yu. Grigor'ev, G. V. Davydov, E. Ya. Dantsin, I. D. Zaslavskii, È. F. Karavaev, B. Yu. Konev, N. K. Kossovskii, V. A. Lifschitz, M. Margenstern, Yu. V. Matiyasevich, G. E. Mints, V. P. Orevkov, R. Pliuškevičius, A. O. Slisenko, S. V. Solov'ev, V. P. Chernov, “Nikolai Aleksandrovich Shanin (obituary)”, Russian Math. Surveys, 68:4 (2013), 763–767  isi  elib  scopus

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