| 2008 |
|---|
| 9 | EE | Jennifer Chubb,
Valentina S. Harizanov,
Andrei S. Morozov,
Sarah Pingrey,
Eric Ufferman:
Partial automorphism semigroups.
Ann. Pure Appl. Logic 156(2-3): 245-258 (2008) |
| 8 | EE | Andrei S. Morozov,
Margarita V. Korovina:
Remarks on Sigma-definability without the equality test over the Reals.
Electr. Notes Theor. Comput. Sci. 202: 305-313 (2008) |
| 7 | EE | Andrei S. Morozov,
Margarita V. Korovina:
On sigma-definability without equality over the real numbers.
Math. Log. Q. 54(5): 535-544 (2008) |
| 2006 |
|---|
| 6 | EE | Wesley Calvert,
Douglas Cenzer,
Valentina S. Harizanov,
Andrei S. Morozov:
Effective categoricity of equivalence structures.
Ann. Pure Appl. Logic 141(1-2): 61-78 (2006) |
| 2005 |
|---|
| 5 | EE | Rumen D. Dimitrov,
Valentina S. Harizanov,
Andrei S. Morozov:
Dependence relations in computably rigid computable vector spaces.
Ann. Pure Appl. Logic 132(1): 97-108 (2005) |
| 2002 |
|---|
| 4 | | Valentina S. Harizanov,
Julia F. Knight,
Andrei S. Morozov:
Sequences of n-Diagrams.
J. Symb. Log. 67(3): 1227-1247 (2002) |
| 3 | EE | Steffen Lempp,
Charles F. D. McCoy,
Andrei S. Morozov,
Reed Solomon:
Group Theoretic Properties of the Group of Computable Automorphisms of a Countable Dense Linear Order.
Order 19(4): 343-364 (2002) |
| 2001 |
|---|
| 2 | | Andrei S. Morozov,
J. K. Truss:
On Computable Automorphisms of The Rational Numbers.
J. Symb. Log. 66(3): 1458-1470 (2001) |
| 1988 |
|---|
| 1 | | Andrei S. Morozov:
Algebraic specified processes and enumerable models.
Conference on Computer Logic 1988: 1-2 |
