R. Pliuskevicius
发表
G. V. Davydov,
M. A. Vsemirnov,
E. F. Karavaev,
2013
.
R. Pliuskevicius,
2009
.
R. Pliuskevicius,
2000
.
R. Pliuskevicius,
Aida Pliuskeviciene,
2004
.
R. Pliuskevicius,
Aida Pliuskeviciene,
2009
.
R. Pliuskevicius,
Julius Andrikonis,
2021,
Lietuvos matematikos rinkinys.
R. Pliuskevicius,
Julius Andrikonis,
2011
.
R. Pliuskevicius,
V. Matulis,
V. Tumasonis,
1980
.
R. Pliuskevicius,
2003
.
Aida Pliuskeviciene,
Regimantas Pliuskevicius,
R. Pliuskevicius,
2004,
Informatica.
Michal Walicki,
Sigurd Meldal,
Aida Pliuskeviciene,
1994,
LFCS.
R. Pliuskevicius,
2005
.
Regimantas Pliuškevičius,
Romas Alonderis,
Aida Pliuškevičienė,
2020,
J. Autom. Reason..
Aida Pliuskeviciene,
Regimantas Pliuskevicius,
R. Pliuskevicius,
2008,
Informatica.
Regimantas Pliuskevicius,
R. Pliuskevicius,
1991,
Baltic Computer Science.
R. Pliuskevicius,
2001
.
Regimantas Pliuskevicius,
R. Pliuskevicius,
2001,
IJCAR.
Regimantas Pliuskevicius,
R. Pliuskevicius,
2000,
Computational Logic.
R. Pliuskevicius,
1999
.
Saturated calculus for Horn-like sequents of a complete class of a linear temporal first order logic
R. Pliuskevicius,
1997
.
Regimantas Pliuskevicius,
R. Pliuskevicius,
1997,
Kurt Gödel Colloquium.
Regimantas Pliuskevicius,
R. Pliuskevicius,
1996,
MFCS.
Regimantas Pliuskevicius,
R. Pliuskevicius,
1993,
MFCS.
Regimantas Pliuskevicius,
R. Pliuskevicius,
1998,
J. Appl. Non Class. Logics.
Regimantas Pliuskevicius,
R. Pliuskevicius,
1990,
RCLP.
Regimantas Pliuškevičius,
R. Pliuskevicius,
1985
.