|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2002 |
1. |
R. Pliuškevičius, “Intertible infinitary calculus without loop rules for a restricted FTL”, Зап. научн. сем. ПОМИ, 293 (2002), 149–180 ; J. Math. Sci. (N. Y.), 126:3 (2005), 1210–1228 |
|
1995 |
2. |
Регимантас Плюшкявичус, “Насыщенное исчисление для хорновских секвенций полной линейной темпоральной логики первого порядка”, Зап. научн. сем. ПОМИ, 220 (1995), 123–144 ; 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 |
|
|
|
2013 |
4. |
М. А. Всемирнов, Э. А. Гирш, Д. Ю. Григорьев, Г. В. Давыдов, Е. Я. Данцин, И. Д. Заславский, Э. Ф. Караваев, Б. Ю. Конев, Н. К. Косовский, В. А. Лифшиц, М. Маргенштерн, Ю. В. Матиясевич, Г. Е. Минц, В. П. Оревков, Р. Плюшкявичус, А. О. Слисенко, С. В. Соловьев, В. П. Чернов, “Николай Александрович Шанин (некролог)”, УМН, 68:4(412) (2013), 173–176 ; 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 |
|