O. Kudinov
发表
A. Frolov,
N. Chebotarev,
O. Kudinov,
2010
.
O. V. Kudinov,
O. Kudinov,
1996
.
V. Selivanov,
O. Kudinov,
Lyudmila Yartseva,
2010
.
O. Kudinov,
V. Korovina,
2007
.
O. Kudinov,
M. Korovina,
2011
.
O. Kudinov,
M. Korovina,
2017
.
Mims EPrint,
O. Kudinov,
M. Korovina,
2017
.
O. Kudinov,
A. Morozov,
R. M. Korotkova,
2019,
Siberian Mathematical Journal.
O. Kudinov,
M. Korovina,
2011
.
O. Kudinov,
M. Korovina,
2017,
Algebra and Logic.
Oleg V. Kudinov,
Margarita V. Korovina,
O. Kudinov,
2001,
CSL.
Oleg V. Kudinov,
Margarita V. Korovina,
O. Kudinov,
2000,
CCA.
Oleg V. Kudinov,
Margarita V. Korovina,
O. Kudinov,
1999,
Ershov Memorial Conference.
Oleg V. Kudinov,
Margarita V. Korovina,
O. Kudinov,
1998,
CSL.
Reinforced Concrete named after A.A. Gvozdev,
O. Kudinov,
S. Zenin,
2018
.
Oleg V. Kudinov,
Margarita V. Korovina,
O. Kudinov,
2016,
Mathematical Structures in Computer Science.
MARGARITA KOROVINA,
OLEG KUDINOV,
O. Kudinov,
2016,
Mathematical Structures in Computer Science.
Victor L. Selivanov,
Oleg V. Kudinov,
Anton V. Zhukov,
2009,
Ann. Pure Appl. Log..
Victor L. Selivanov,
Oleg V. Kudinov,
V. Selivanov,
2007,
J. Log. Comput..
Victor L. Selivanov,
Oleg V. Kudinov,
Lyudmila V. Yartseva,
2010,
CiE.
O. Kudinov,
1996
.
Oleg V. Kudinov,
Margarita V. Korovina,
O. Kudinov,
2008,
CCA.
Victor L. Selivanov,
Oleg V. Kudinov,
Anton V. Zhukov,
2010,
CiE.
Oleg V. Kudinov,
Margarita V. Korovina,
O. Kudinov,
2017,
Log. Methods Comput. Sci..
Victor L. Selivanov,
Oleg V. Kudinov,
V. Selivanov,
2017,
Log. Methods Comput. Sci..
M. V. Korovina,
O. V. Kudinov,
O. Kudinov,
2020,
ArXiv.
Oleg V. Kudinov,
Margarita V. Korovina,
O. Kudinov,
2014,
Ershov Memorial Conference.
Victor L. Selivanov,
Oleg V. Kudinov,
V. Selivanov,
2009,
CiE.
Victor L. Selivanov,
Oleg V. Kudinov,
V. Selivanov,
2009,
Developments in Language Theory.
Oleg V. Kudinov,
Margarita V. Korovina,
O. Kudinov,
2009,
Ershov Memorial Conference.
Oleg V. Kudinov,
Margarita V. Korovina,
O. Kudinov,
2009,
J. Log. Comput..
Oleg V. Kudinov,
Margarita V. Korovina,
O. Kudinov,
2007,
CiE.
Oleg V. Kudinov,
Margarita V. Korovina,
O. Kudinov,
2001,
Ershov Memorial Conference.
Rodney G. Downey,
Julia F. Knight,
Oleg V. Kudinov,
2010,
Notre Dame J. Formal Log..
Victor L. Selivanov,
Oleg V. Kudinov,
V. Selivanov,
2006,
CiE.