R. Kuznets
发表
Sergei N. Artëmov,
R. Kuznets,
2008
.
R. Kuznets,
2009
.
H. V. Ditmarsch,
R. Kuznets,
Rojo Fanamperana Randrianomentsoa,
2022,
ArXiv.
Lutz Straßburger,
R. Kuznets,
2018,
Arch. Math. Log..
Roman Kuznets,
R. Kuznets,
2016,
JELIA.
Roman Kuznets,
R. Kuznets,
2007,
LFCS.
Sergei N. Artëmov,
Roman Kuznets,
R. Kuznets,
2006,
CSL.
Sergei N. Artëmov,
Roman Kuznets,
R. Kuznets,
2006
.
Roman Kuznets,
R. Kuznets,
2018,
Ann. Pure Appl. Log..
Roman Kuznets,
Annemarie Borg,
R. Kuznets,
2015,
TABLEAUX.
Melvin Fitting,
Roman Kuznets,
M. Fitting,
2015,
Ann. Pure Appl. Log..
Roman Kuznets,
Björn Lellmann,
Björn Lellmann,
2015,
Log. J. IGPL.
Roman Kuznets,
Remo Goetschi,
R. Kuznets,
2012,
Ann. Pure Appl. Log..
Thomas Studer,
Roman Kuznets,
Samuel Bucheli,
2011,
TbiLLC.
Ulrich Schmid,
Roman Kuznets,
Laurent Prosperi,
2019,
TARK.
Ulrich Schmid,
Roman Kuznets,
Thomas Schlögl,
2020,
PRIMA.
Ulrich Schmid,
Roman Kuznets,
Laurent Prosperi,
2019,
FroCos.
Thomas Studer,
Roman Kuznets,
T. Studer,
2016,
Log. J. IGPL.
Tuomas E. Tahko,
U. Schmid,
R. Kuznets,
2023,
Minds and Machines.
Samuel R. Buss,
Roman Kuznets,
S. Buss,
2012,
Ann. Pure Appl. Log..
Roman Kuznets,
R. Kuznets,
2010,
Theory of Computing Systems.
Sergei N. Artëmov,
Roman Kuznets,
R. Kuznets,
2009,
TARK '09.
H. V. Ditmarsch,
R. Kuznets,
Rojo Fanamperana Randrianomentsoa,
2022,
ArXiv.
Ulrich Schmid,
Roman Kuznets,
Krisztina Fruzsa,
2021,
TARK.
Roman Kuznets,
Kai Brünnler,
Remo Goetschi,
2010,
Advances in Modal Logic.
Lutz Straßburger,
Roman Kuznets,
Lutz Straßburger,
2018,
Archive for Mathematical Logic.
Roman Kuznets,
Raheleh Jalali,
Iris van der Giessen,
2021,
WoLLIC.
R. Kuznets,
I. V. D. Giessen,
Raheleh Jalali,
2023,
TABLEAUX.
Thomas Studer,
Roman Kuznets,
T. Studer,
2013,
LFCS.
Samuel R. Buss,
Roman Kuznets,
S. Buss,
2009,
LFCS.