Andrei S. Morozov

20 papers C 4Journal 15Unranked 1
YearRankTypeTitle / Venue / Authors
2023 J jnl
On Cohesive powers of linear Orders.
J. Symb. Log.
Rumen D. Dimitrov, Valentina S. Harizanov, Andrei S. Morozov, Paul Shafer, Alexandra A. Soskova, Stefan V. Vatev
2022 J jnl
On the isomorphism problem for some classes of computable algebraic structures.
Arch. Math. Log.
Valentina S. Harizanov, Steffen Lempp, Charles F. D. McCoy, Andrei S. Morozov, Reed Solomon
2019 C conf
Cohesive Powers of Linear Orders.
CiE
Rumen D. Dimitrov, Valentina S. Harizanov, Andrei S. Morozov, Paul Shafer, Alexandra A. Soskova, Stefan V. Vatev
2016 C conf
Automorphism Groups of Substructure Lattices of Vector Spaces in Computable Algebra.
CiE
Rumen D. Dimitrov, Valentina S. Harizanov, Andrei S. Morozov
2012 J jnl
Foreword.
Ann. Pure Appl. Log.
Ulrich Berger, Vasco Brattka, Andrei S. Morozov, Dieter Spreen
2011 J jnl
Editorial.
Theory Comput. Syst.
Andrei S. Morozov, Klaus W. Wagner
2010 C conf
On Index Sets of Some Properties of Computable Algebras.
CiE
Bakhadyr Khoussainov, Andrei S. Morozov
2010 J jnl
On computable presentations of some functional lattices.
J. Log. Algebraic Methods Program.
Andrei S. Morozov
2009 J jnl
Effective categoricity of Abelian p-groups.
Ann. Pure Appl. Log.
Wesley Calvert, Douglas A. Cenzer, Valentina S. Harizanov, Andrei S. Morozov
2009 J jnl
Preface.
Ann. Pure Appl. Log.
Yuri Leonidovich Ershov, Klaus Keimel, Ulrich Kohlenbach, Andrei S. Morozov
2008 J jnl
On sigma-definability without equality over the real numbers.
Math. Log. Q.
Andrei S. Morozov, Margarita V. Korovina
2008 J jnl
Partial automorphism semigroups.
Ann. Pure Appl. Log.
Jennifer Chubb, Valentina S. Harizanov, Andrei S. Morozov, Sarah Pingrey, Eric Ufferman
2007 J jnl
Index sets for classes of high rank structures.
J. Symb. Log.
Wesley Calvert, Ekaterina B. Fokina, Sergei S. Goncharov, Julia F. Knight, Oleg V. Kudinov, Andrei S. Morozov, Vadim Puzarenko
2007 C conf
Remarks on Sigma-definability without the equality test over the Reals.
CCA
Andrei S. Morozov, Margarita V. Korovina
2006 J jnl
Effective categoricity of equivalence structures.
Ann. Pure Appl. Log.
Wesley Calvert, Douglas Cenzer, Valentina S. Harizanov, Andrei S. Morozov
2005 J jnl
Dependence relations in computably rigid computable vector spaces.
Ann. Pure Appl. Log.
Rumen D. Dimitrov, Valentina S. Harizanov, Andrei S. Morozov
2002 J jnl
Group Theoretic Properties of the Group of Computable Automorphisms of a Countable Dense Linear Order.
Order
Steffen Lempp, Charles F. D. McCoy, Andrei S. Morozov, Reed Solomon
2002 J jnl
Sequences of n-Diagrams.
J. Symb. Log.
Valentina S. Harizanov, Julia F. Knight, Andrei S. Morozov
2001 J jnl
On Computable Automorphisms of The Rational Numbers.
J. Symb. Log.
Andrei S. Morozov, John Kenneth Truss
1988 — conf
Algebraic specified processes and enumerable models.
Conference on Computer Logic
Andrei S. Morozov