V. Selivanov
发表
V. Selivanov,
1976
.
V. Selivanov,
2004
.
V. Selivanov,
2019,
The Journal of Symbolic Logic.
V. Selivanov,
2020
.
V. Selivanov,
2001
.
P. E. Alaev,
V. L. Selivanov,
V. Selivanov,
2018,
Доклады академии наук.
V. Selivanov,
A. Ershov,
2007
.
V. L. Selivanov,
V. Selivanov,
1982
.
V. Selivanov,
A. Konovalov,
2014
.
Victor Selivanov,
Svetlana Selivanova,
V. Selivanov,
2020,
CASC.
V. Selivanov,
P. Alaev,
2020,
Algebra i logika.
P. E. Alaev,
V. L. Selivanov,
V. Selivanov,
2020,
Algebra i logika.
V. Selivanov,
P. Alaev,
2022,
Algebra and Logic.
V. Selivanov,
O. Kudinov,
Lyudmila Yartseva,
2010
.
Alexandra A. Soskova,
V. Selivanov,
V. Harizanov,
2022
.
V. Selivanov,
2002
.
V. Selivanov,
Takayuki Kihara,
M. Hoyrup,
2020
.
V. Selivanov,
M. Seisenberger,
A. Weiermann,
2016
.
V. Selivanov,
2000
.
Matthew de Brecht,
D. Scott,
V. Selivanov,
2018
.
V. Selivanov,
A. Jung,
M. Gehrke,
2016
.
Victor L. Selivanov,
V. Selivanov,
2009,
RAIRO Theor. Informatics Appl..
Christian Glaßer,
Victor L. Selivanov,
Heinz Schmitz,
2008,
Theor. Comput. Sci..
Victor L. Selivanov,
Klaus W. Wagner,
V. Selivanov,
2005,
Theor. Comput. Sci..
Victor L. Selivanov,
V. Selivanov,
2018,
Trends in Logic.
Victor L. Selivanov,
V. Selivanov,
2007
.
Victor L. Selivanov,
Anton Konovalov,
V. Selivanov,
2011,
LATA.
Victor L. Selivanov,
Pavel Alaev,
V. Selivanov,
2018,
CiE.
Computing Solution Operators of Boundary-value Problems for Some Linear Hyperbolic Systems of PDEs
pdf
Victor L. Selivanov,
Svetlana Selivanova,
V. Selivanov,
2013,
Log. Methods Comput. Sci..
Victor L. Selivanov,
V. Selivanov,
2006,
Theor. Comput. Sci..
Victor L. Selivanov,
V. Selivanov,
2005,
Math. Log. Q..
V. L. Selivanov,
V. Selivanov,
2004
.
V. Selivanov,
S. Selivanova,
2020,
CASC.
Victor L. Selivanov,
Matthias Schröder,
V. Selivanov,
2014,
De Computis.
Matthew de Brecht,
Victor L. Selivanov,
Matthias Schröder,
2015,
CiE.
Victor L. Selivanov,
V. Selivanov,
2014,
Mathematical Structures in Computer Science.
Matthias Schroder,
Victor Selivanov,
Matthias Schroder,
2014,
1404.0297.
Matthew de Brecht,
Victor L. Selivanov,
V. Selivanov,
2016
.
Victor L. Selivanov,
Matthias Schröder,
V. Selivanov,
2013,
Mathematical Structures in Computer Science.
Victor L. Selivanov,
V. Selivanov,
2013,
Log. Methods Comput. Sci..
Victor L. Selivanov,
V. Selivanov,
2012,
Ann. Pure Appl. Log..
Christian Glaßer,
Victor L. Selivanov,
Christian Reitwießner,
2008,
Theor. Comput. Sci..
Philipp Schlicht,
Victor L. Selivanov,
Luca Motto Ros,
2012,
Mathematical Structures in Computer Science.
Victor L. Selivanov,
V. Selivanov,
2007,
CiE.
Bit Complexity of Computing Solutions for Symmetric Hyperbolic Systems of PDEs with Guaranteed Precision
pdf
Victor L. Selivanov,
Svetlana Selivanova,
V. Selivanov,
2018,
Comput..
Victor L. Selivanov,
Oleg V. Kudinov,
Anton V. Zhukov,
2009,
Ann. Pure Appl. Log..
Victor L. Selivanov,
V. Selivanov,
2008,
CCA.
Victor L. Selivanov,
V. Selivanov,
2008,
Theor. Comput. Sci..
Victor L. Selivanov,
Oleg V. Kudinov,
V. Selivanov,
2007,
J. Log. Comput..
Victor L. Selivanov,
V. Selivanov,
2008,
Int. J. Found. Comput. Sci..
Victor L. Selivanov,
V. Selivanov,
2007,
Developments in Language Theory.
Victor Selivanov,
V. Selivanov,
1995,
Theor. Comput. Sci..
V. Selivanov,
2006
.
Mizuhito Ogawa,
Victor L. Selivanov,
V. Selivanov,
2019,
DCFS.
Victor L. Selivanov,
Oleg V. Kudinov,
Lyudmila V. Yartseva,
2010,
CiE.
Victor L. Selivanov,
Svetlana V. Selivanova,
V. Selivanov,
2018,
CiE.
V. Selivanov,
P. Alaev,
2020,
Algebra and Logic.
Victor L. Selivanov,
Oleg V. Kudinov,
Anton V. Zhukov,
2010,
CiE.
Victor L. Selivanov,
V. Selivanov,
2008,
Math. Comput. Sci..
Victor L. Selivanov,
V. Selivanov,
2007,
Math. Log. Q..
V. L. Selivanov,
V. Selivanov,
S. Selivanova,
2017
.
Victor L. Selivanov,
Svetlana Selivanova,
V. Selivanov,
2008,
CCA.
Victor L. Selivanov,
Svetlana Selivanova,
V. Selivanov,
2009,
J. Univers. Comput. Sci..
Victor L. Selivanov,
Oleg V. Kudinov,
V. Selivanov,
2017,
Log. Methods Comput. Sci..
V. L. Selivanov,
V. Selivanov,
S. Odintsov,
1989
.
Victor L. Selivanov,
Oleg V. Kudinov,
V. Selivanov,
2009,
CiE.
Victor L. Selivanov,
Oleg V. Kudinov,
V. Selivanov,
2009,
Developments in Language Theory.
Victor L. Selivanov,
Anton Konovalov,
V. Selivanov,
2016,
CiE.
Mathieu Hoyrup,
Cristobal Rojas,
Donald M. Stull,
2019,
DCFS.
V. Selivanov,
1995,
Theor. Comput. Sci..
Victor Selivanov,
V. Selivanov,
2021,
CiE.
Victor L. Selivanov,
V. Selivanov,
2005,
CCA.
Victor L. Selivanov,
V. Selivanov,
2003,
STACS.
Victor L. Selivanov,
V. Selivanov,
2003
.
V. L. Selivanov,
V. Selivanov,
1988
.
V. Selivanov,
1992
.
V. Selivanov,
1989
.
Victor L. Selivanov,
V. Selivanov,
2008,
CCA.
Victor L. Selivanov,
Oleg V. Kudinov,
V. Selivanov,
2006,
CiE.
Victor L. Selivanov,
V. Selivanov,
1995,
Journal of Symbolic Logic.