2008 |
16 | 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) |
2007 |
15 | EE | Valentina S. Harizanov,
Frank Stephan:
On the learnability of vector spaces.
J. Comput. Syst. Sci. 73(1): 109-122 (2007) |
2006 |
14 | 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 |
13 | 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) |
12 | EE | Sergei S. Goncharov,
Valentina S. Harizanov,
Julia F. Knight,
Charles F. D. McCoy,
Russell Miller,
Reed Solomon:
Enumerations in computable structure theory.
Ann. Pure Appl. Logic 136(3): 219-246 (2005) |
2003 |
11 | EE | Valentina S. Harizanov:
Turing degrees of hypersimple relations on computable structures.
Ann. Pure Appl. Logic 121(2-3): 209-226 (2003) |
10 | EE | Sergei S. Goncharov,
Valentina S. Harizanov,
Julia F. Knight,
Charles F. D. McCoy:
Simple and immune relations on countable structures.
Arch. Math. Log. 42(3): 279-291 (2003) |
2002 |
9 | EE | Valentina S. Harizanov,
Frank Stephan:
On the Learnability of Vector Spaces.
ALT 2002: 233-247 |
8 | EE | Valentina S. Harizanov:
Computability-theoretic complexity of countable structures.
Bulletin of Symbolic Logic 8(3): 457-477 (2002) |
7 | | Valentina S. Harizanov,
Julia F. Knight,
Andrei S. Morozov:
Sequences of n-Diagrams.
J. Symb. Log. 67(3): 1227-1247 (2002) |
1998 |
6 | | Valentina S. Harizanov:
Turing Degrees of Certain Isomorphic Images of Computable Relations.
Ann. Pure Appl. Logic 93(1-3): 103-113 (1998) |
1996 |
5 | | Valentina S. Harizanov:
Effectively and Noneffectively Nowhere Simple Sets.
Math. Log. Q. 42: 241-248 (1996) |
1993 |
4 | | Valentina S. Harizanov:
The Possible Turing Degree of the Nonzero Member in a Two Element Degree Spectrum.
Ann. Pure Appl. Logic 60(1): 1-30 (1993) |
1992 |
3 | | Valentina S. Harizanov,
Martin Kummer,
James C. Owings:
Frequency Computations and the Cardinality Theorem.
J. Symb. Log. 57(2): 682-687 (1992) |
1991 |
2 | | Valentina S. Harizanov:
Uncountable Degree Spectra.
Ann. Pure Appl. Logic 54(3): 255-263 (1991) |
1 | | Valentina S. Harizanov:
Some Effects of Ash-Nerode and Other Decidability Conditions on Degree Spectra.
Ann. Pure Appl. Logic 55(1): 51-65 (1991) |