Andrei S. Morozov
发表
Valentina S. Harizanov,
Rumen D. Dimitrov,
Andrei S. Morozov,
2016,
CiE.
Andrei S. Morozov,
1988,
Conference on Computer Logic.
Andrei S. Morozov,
A. Morozov,
2010,
J. Log. Algebraic Methods Program..
Julia F. Knight,
Wesley Calvert,
Ekaterina B. Fokina,
2007,
J. Symb. Log..
Douglas A. Cenzer,
Wesley Calvert,
Valentina S. Harizanov,
2009,
Ann. Pure Appl. Log..
Klaus W. Wagner,
Andrei S. Morozov,
2011,
Theory of Computing Systems.
Douglas A. Cenzer,
Wesley Calvert,
Valentina S. Harizanov,
2006,
Ann. Pure Appl. Log..
Andrei S. Morozov,
Margarita V. Korovina,
2008,
Math. Log. Q..
J. K. Truss,
Andrei S. Morozov,
2001,
J. Symb. Log..
Klaus Keimel,
Yuri Leonidovich Ershov,
Andrei S. Morozov,
2009,
Ann. Pure Appl. Log..
Andrei S. Morozov,
Margarita V. Korovina,
A. Morozov,
2008,
CCA.
Steffen Lempp,
Andrei S. Morozov,
Reed Solomon,
2002,
Order.
Julia F. Knight,
Valentina S. Harizanov,
Andrei S. Morozov,
2002,
J. Symb. Log..
Valentina S. Harizanov,
Rumen D. Dimitrov,
Andrei S. Morozov,
2005,
Ann. Pure Appl. Log..
Valentina S. Harizanov,
Andrei S. Morozov,
Jennifer Chubb,
2008,
Ann. Pure Appl. Log..
Ulrich Berger,
Vasco Brattka,
Dieter Spreen,
2012,
Ann. Pure Appl. Log..
Andrei S. Morozov,
Margarita V. Korovina,
A. Morozov,
2008,
Math. Log. Q..
Valentina S. Harizanov,
Andrei S. Morozov,
Charles F. D. McCoy,
2012
.