|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2 occurrences of 2 keywords
|
|
|
|
|
Results
Found 31 publication records. Showing 31 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Ekaterina B. Fokina, Sy-David Friedman, Valentina S. Harizanov, Julia F. Knight, Charles F. D. McCoy, Antonio Montalbán |
Isomorphism relations on computable structures.  |
J. Symb. Log.  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Barbara F. Csima, Valentina S. Harizanov, Russell Miller, Antonio Montalbán |
Computability of Fraïssé limits. |
J. Symb. Log. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Douglas Cenzer, Valentina S. Harizanov, Jeffrey B. Remmel |
Σ01 and Π01 equivalence structures. |
Ann. Pure Appl. Logic |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas Cenzer, Valentina S. Harizanov, Jeffrey B. Remmel |
Effective Categoricity of Injection Structures. |
CiE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Malgorzata A. Dabkowska, Mieczyslaw K. Dabkowski, Valentina S. Harizanov, Amir A. Togha |
Spaces of orders and their Turing degree spectra. |
Ann. Pure Appl. Logic |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | John Chisholm, Ekaterina B. Fokina, Sergei S. Goncharov, Valentina S. Harizanov, Julia F. Knight, Sara Quinn |
Intrinsic bounds on complexity and definability at limit levels. |
J. Symb. Log. |
2009 |
DBLP BibTeX RDF |
|
| 1 | Wesley Calvert, Douglas A. Cenzer, Valentina S. Harizanov, Andrei S. Morozov |
Effective categoricity of Abelian p-groups. |
Ann. Pure Appl. Logic |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas A. Cenzer, Valentina S. Harizanov, David Marker, Carol Wood |
Preface. |
Arch. Math. Log. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jennifer Chubb, Andrey Frolov, Valentina S. Harizanov |
Degree spectra of the successor relation of computable linear orderings. |
Arch. Math. Log. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Valentina S. Harizanov, Carl G. Jockusch Jr., Julia F. Knight |
Chains and antichains in partial orderings. |
Arch. Math. Log. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas A. Cenzer, Valentina S. Harizanov, Jeffrey B. Remmel |
S01 and P01 Equivalence Structures. |
CiE |
2009 |
DBLP DOI BibTeX RDF |
equivalence structures, effective categoricity, computability theory, computable model theory |
| 1 | Jennifer Chubb, Valentina S. Harizanov, Andrei S. Morozov, Sarah Pingrey, Eric Ufferman |
Partial automorphism semigroups. |
Ann. Pure Appl. Logic |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara F. Csima, Valentina S. Harizanov, Denis R. Hirschfeldt, Robert I. Soare |
Bounding homogeneous models. |
J. Symb. Log. |
2007 |
DBLP BibTeX RDF |
|
| 1 | John Chisholm, Jennifer Chubb, Valentina S. Harizanov, Denis R. Hirschfeldt, Carl G. Jockusch Jr., Timothy H. McNicholl, Sarah Pingrey |
Pi10 classes and strong degree spectra of relations. |
J. Symb. Log. |
2007 |
DBLP BibTeX RDF |
|
| 1 | Valentina S. Harizanov, Russel G. Miller |
Spectra of structures and relations. |
J. Symb. Log. |
2007 |
DBLP BibTeX RDF |
|
| 1 | Valentina S. Harizanov, Frank Stephan |
On the learnability of vector spaces. |
J. Comput. Syst. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Wesley Calvert, Douglas Cenzer, Valentina S. Harizanov, Andrei S. Morozov |
Effective categoricity of equivalence structures. |
Ann. Pure Appl. Logic |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Rumen D. Dimitrov, Valentina S. Harizanov, Andrei S. Morozov |
Dependence relations in computably rigid computable vector spaces. |
Ann. Pure Appl. Logic |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergei S. Goncharov, Valentina S. Harizanov, Julia F. Knight, Richard A. Shore |
Pi11 relations and paths through. |
J. Symb. Log. |
2004 |
DBLP BibTeX RDF |
|
| 1 | Valentina S. Harizanov |
Turing degrees of hypersimple relations on computable structures. |
Ann. Pure Appl. Logic |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergei S. Goncharov, Valentina S. Harizanov, Julia F. Knight, Charles F. D. McCoy |
Simple and immune relations on countable structures. |
Arch. Math. Log. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Valentina S. Harizanov, Julia F. Knight, Andrei S. Morozov |
Sequences of n-Diagrams. |
J. Symb. Log. |
2002 |
DBLP BibTeX RDF |
|
| 1 | Valentina S. Harizanov |
Computability-theoretic complexity of countable structures. |
Bulletin of Symbolic Logic |
2002 |
DBLP BibTeX RDF |
|
| 1 | Valentina S. Harizanov, Frank Stephan |
On the Learnability of Vector Spaces. |
ALT |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Valentina S. Harizanov |
Turing Degrees of Certain Isomorphic Images of Computable Relations. |
Ann. Pure Appl. Logic |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Valentina S. Harizanov |
Effectively and Noneffectively Nowhere Simple Sets. |
Math. Log. Q. |
1996 |
DBLP BibTeX RDF |
|
| 1 | Valentina S. Harizanov |
The Possible Turing Degree of the Nonzero Member in a Two Element Degree Spectrum. |
Ann. Pure Appl. Logic |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Valentina S. Harizanov, Martin Kummer, James C. Owings |
Frequency Computations and the Cardinality Theorem. |
J. Symb. Log. |
1992 |
DBLP BibTeX RDF |
|
| 1 | Valentina S. Harizanov |
Some Effects of Ash-Nerode and Other Decidability Conditions on Degree Spectra. |
Ann. Pure Appl. Logic |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Valentina S. Harizanov |
Uncountable Degree Spectra. |
Ann. Pure Appl. Logic |
1991 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #31 of 31 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")