|
|
|
Publications in Math-Net.Ru |
Citations |
|
2002 |
| 1. |
R. Pliuškevičius, “Intertible infinitary calculus without loop rules for a restricted FTL”, Zap. Nauchn. Sem. POMI, 293 (2002), 149–180    ; J. Math. Sci. (N. Y.), 126:3 (2005), 1210–1228 |
|
1995 |
| 2. |
Regimantas Pliuškevičius, “Saturated calculus for Horn-like sequents of a complete class of a linear temporal first order logic”, Zap. Nauchn. Sem. POMI, 220 (1995), 123–144 ; J. Math. Sci. (New York), 87:1 (1997), 3253–3266 |
|
1965 |
| 3. |
R. A. Pliuškevičius, “A version of the constructive calculus of predicates without structural deduction rules”, Dokl. Akad. Nauk SSSR, 161:2 (1965), 292–295 |
|
|
|
2013 |
| 4. |
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)”, Uspekhi Mat. Nauk, 68:4(412) (2013), 173–176  ; Russian Math. Surveys, 68:4 (2013), 763–767   |
|
| Organisations |
|
| |
|
|
Contact us: