Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Valentina S. Harizanov
@article{DBLP:journals/corr/abs-2401-10154,
author = {Wesley Calvert and
Valentina S. Harizanov and
Eugenio G. Omodeo and
Alberto Policriti and
Alexandra Shlapentokh},
title = {In Memory of Martin Davis},
journal = {CoRR},
volume = {abs/2401.10154},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.10154},
doi = {10.48550/ARXIV.2401.10154},
eprinttype = {arXiv},
eprint = {2401.10154},
timestamp = {Wed, 07 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-10154.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/DimitrovHMSSV23,
author = {Rumen D. Dimitrov and
Valentina S. Harizanov and
Andrei S. Morozov and
Paul Shafer and
Alexandra A. Soskova and
Stefan V. Vatev},
title = {On Cohesive powers of linear Orders},
journal = {J. Symb. Log.},
volume = {88},
number = {3},
pages = {947--1004},
year = {2023},
url = {https://doi.org/10.1017/jsl.2023.14},
doi = {10.1017/JSL.2023.14},
timestamp = {Thu, 29 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/DimitrovHMSSV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uc/CalvertCH23,
author = {Wesley Calvert and
Douglas Cenzer and
Valentina S. Harizanov},
editor = {Daniela Genova and
Jarkko Kari},
title = {Generically Computable Abelian Groups},
booktitle = {Unconventional Computation and Natural Computation - 20th International
Conference, {UCNC} 2023, Jacksonville, FL, USA, March 13-17, 2023,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14003},
pages = {32--45},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-34034-5\_3},
doi = {10.1007/978-3-031-34034-5\_3},
timestamp = {Wed, 14 Jun 2023 18:15:21 +0200},
biburl = {https://dblp.org/rec/conf/uc/CalvertCH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/HarizanovLMMS22,
author = {Valentina S. Harizanov and
Steffen Lempp and
Charles F. D. McCoy and
Andrei S. Morozov and
Reed Solomon},
title = {On the isomorphism problem for some classes of computable algebraic
structures},
journal = {Arch. Math. Log.},
volume = {61},
number = {5-6},
pages = {813--825},
year = {2022},
url = {https://doi.org/10.1007/s00153-021-00811-5},
doi = {10.1007/S00153-021-00811-5},
timestamp = {Fri, 21 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/HarizanovLMMS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/CalvertCH22,
author = {Wesley Calvert and
Douglas Cenzer and
Valentina S. Harizanov},
title = {Generically and coarsely computable isomorphisms},
journal = {Comput.},
volume = {11},
number = {3-4},
pages = {223--239},
year = {2022},
url = {https://doi.org/10.3233/COM-210382},
doi = {10.3233/COM-210382},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/computability/CalvertCH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/AlvirCGHKMMSW22,
author = {Rachael Alvir and
Wesley Calvert and
Grant Goodman and
Valentina S. Harizanov and
Julia F. Knight and
Russell G. Miller and
Andrey S. Morozov and
Alexandra A. Soskova and
Rose Weisshaar},
title = {Interpreting a field in its Heisenberg Group},
journal = {J. Symb. Log.},
volume = {87},
number = {3},
pages = {1215--1230},
year = {2022},
url = {https://doi.org/10.1017/jsl.2021.107},
doi = {10.1017/JSL.2021.107},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/AlvirCGHKMMSW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/CalvertCH22,
author = {Wesley Calvert and
Douglas Cenzer and
Valentina S. Harizanov},
title = {Densely computable structures},
journal = {J. Log. Comput.},
volume = {32},
number = {3},
pages = {581--607},
year = {2022},
url = {https://doi.org/10.1093/logcom/exab057},
doi = {10.1093/LOGCOM/EXAB057},
timestamp = {Tue, 17 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/CalvertCH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/FokinaHT19,
author = {Ekaterina B. Fokina and
Valentina S. Harizanov and
Daniel Turetsky},
title = {Computability-theoretic categoricity and Scott families},
journal = {Ann. Pure Appl. Log.},
volume = {170},
number = {6},
pages = {699--717},
year = {2019},
url = {https://doi.org/10.1016/j.apal.2019.01.003},
doi = {10.1016/J.APAL.2019.01.003},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/FokinaHT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/DimitrovHMSSV19,
author = {Rumen D. Dimitrov and
Valentina S. Harizanov and
Andrei S. Morozov and
Paul Shafer and
Alexandra A. Soskova and
Stefan V. Vatev},
editor = {Florin Manea and
Barnaby Martin and
Dani{\"{e}}l Paulusma and
Giuseppe Primiero},
title = {Cohesive Powers of Linear Orders},
booktitle = {Computing with Foresight and Industry - 15th Conference on Computability
in Europe, CiE 2019, Durham, UK, July 15-19, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11558},
pages = {168--180},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-22996-2\_15},
doi = {10.1007/978-3-030-22996-2\_15},
timestamp = {Fri, 26 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cie/DimitrovHMSSV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/CalvertFHKMSV18,
author = {Wesley Calvert and
Andrey N. Frolov and
Valentina S. Harizanov and
Julia F. Knight and
Charles F. D. McCoy and
Alexandra A. Soskova and
Stefan V. Vatev},
title = {Strong jump inversion},
journal = {J. Log. Comput.},
volume = {28},
number = {7},
pages = {1499--1522},
year = {2018},
url = {https://doi.org/10.1093/logcom/exy025},
doi = {10.1093/LOGCOM/EXY025},
timestamp = {Wed, 24 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/CalvertFHKMSV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/DimitrovH17,
author = {Rumen D. Dimitrov and
Valentina S. Harizanov},
editor = {Adam R. Day and
Michael R. Fellows and
Noam Greenberg and
Bakhadyr Khoussainov and
Alexander G. Melnikov and
Frances A. Rosamond},
title = {The Lattice of Computably Enumerable Vector Spaces},
booktitle = {Computability and Complexity - Essays Dedicated to Rodney G. Downey
on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {10010},
pages = {366--393},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-50062-1\_23},
doi = {10.1007/978-3-319-50062-1\_23},
timestamp = {Sun, 25 Oct 2020 23:08:30 +0100},
biburl = {https://dblp.org/rec/conf/birthday/DimitrovH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/DimitrovHM16,
author = {Rumen D. Dimitrov and
Valentina S. Harizanov and
Andrei S. Morozov},
editor = {Arnold Beckmann and
Laurent Bienvenu and
Natasa Jonoska},
title = {Automorphism Groups of Substructure Lattices of Vector Spaces in Computable
Algebra},
booktitle = {Pursuit of the Universal - 12th Conference on Computability in Europe,
CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9709},
pages = {251--260},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-40189-8\_26},
doi = {10.1007/978-3-319-40189-8\_26},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/DimitrovHM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/CalvertHS14,
author = {Wesley Calvert and
Valentina S. Harizanov and
Alexandra Shlapentokh},
title = {Turing Degrees of Isomorphism Types of Geometric Objects},
journal = {Comput.},
volume = {3},
number = {2},
pages = {105--134},
year = {2014},
url = {https://doi.org/10.3233/COM-140029},
doi = {10.3233/COM-140029},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computability/CalvertHS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/DimitrovHMM14,
author = {Rumen D. Dimitrov and
Valentina S. Harizanov and
Russell G. Miller and
K. J. Mourad},
editor = {Arnold Beckmann and
Erzs{\'{e}}bet Csuhaj{-}Varj{\'{u}} and
Klaus Meer},
title = {Isomorphisms of Non-Standard Fields and Ash's Conjecture},
booktitle = {Language, Life, Limits - 10th Conference on Computability in Europe,
CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8493},
pages = {143--152},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08019-2\_15},
doi = {10.1007/978-3-319-08019-2\_15},
timestamp = {Wed, 16 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cie/DimitrovHMM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/cu/p/FokinaHM14,
author = {Ekaterina B. Fokina and
Valentina S. Harizanov and
Alexander G. Melnikov},
editor = {Rod Downey},
title = {Computable model theory},
booktitle = {Turing's Legacy: Developments from Turing's Ideas in Logic},
series = {Lecture Notes in Logic},
volume = {42},
pages = {124--194},
publisher = {Cambridge University Press},
year = {2014},
url = {https://doi.org/10.1017/CBO9781107338579.006},
doi = {10.1017/CBO9781107338579.006},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/cu/p/FokinaHM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/CenzerHR13,
author = {Douglas Cenzer and
Valentina S. Harizanov and
Jeffrey B. Remmel},
title = {Two-to-one structures},
journal = {J. Log. Comput.},
volume = {23},
number = {6},
pages = {1195--1223},
year = {2013},
url = {https://doi.org/10.1093/logcom/ext040},
doi = {10.1093/LOGCOM/EXT040},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/CenzerHR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/FokinaFHKMM12,
author = {Ekaterina B. Fokina and
Sy{-}David Friedman and
Valentina S. Harizanov and
Julia F. Knight and
Charles F. D. McCoy and
Antonio Montalb{\'{a}}n},
title = {Isomorphism relations on computable structures},
journal = {J. Symb. Log.},
volume = {77},
number = {1},
pages = {122--132},
year = {2012},
url = {https://doi.org/10.2178/jsl/1327068695},
doi = {10.2178/JSL/1327068695},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/FokinaFHKMM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/FrolovKHKM12,
author = {Andrey N. Frolov and
Iskander Sh. Kalimullin and
Valentina S. Harizanov and
Oleg V. Kudinov and
Russell G. Miller},
title = {Spectra of high\emph{\({}_{\mbox{n}}\)} and non-low\emph{\({}_{\mbox{n}}\)}
degrees},
journal = {J. Log. Comput.},
volume = {22},
number = {4},
pages = {755--777},
year = {2012},
url = {https://doi.org/10.1093/logcom/exq041},
doi = {10.1093/LOGCOM/EXQ041},
timestamp = {Wed, 16 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/FrolovKHKM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/CenzerHR11,
author = {Douglas Cenzer and
Valentina S. Harizanov and
Jeffrey B. Remmel},
title = {{\(\Sigma\)}\({}^{\mbox{0}}\)\({}_{\mbox{1}}\) and {\(\Pi\)}\({}^{\mbox{0}}\)\({}_{\mbox{1}}\)
equivalence structures},
journal = {Ann. Pure Appl. Log.},
volume = {162},
number = {7},
pages = {490--503},
year = {2011},
url = {https://doi.org/10.1016/j.apal.2011.01.002},
doi = {10.1016/J.APAL.2011.01.002},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/CenzerHR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/CsimaHMM11,
author = {Barbara F. Csima and
Valentina S. Harizanov and
Russell G. Miller and
Antonio Montalb{\'{a}}n},
title = {Computability of Fra{\"{\i}}ss{\'{e}} limits},
journal = {J. Symb. Log.},
volume = {76},
number = {1},
pages = {66--93},
year = {2011},
url = {https://doi.org/10.2178/jsl/1294170990},
doi = {10.2178/JSL/1294170990},
timestamp = {Wed, 16 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/CsimaHMM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/CenzerHR11,
author = {Douglas Cenzer and
Valentina S. Harizanov and
Jeffrey B. Remmel},
editor = {Benedikt L{\"{o}}we and
Dag Normann and
Ivan N. Soskov and
Alexandra A. Soskova},
title = {Effective Categoricity of Injection Structures},
booktitle = {Models of Computation in Context - 7th Conference on Computability
in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6735},
pages = {51--60},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21875-0\_6},
doi = {10.1007/978-3-642-21875-0\_6},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/cie/CenzerHR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/DabkowskaDHT10,
author = {Malgorzata A. Dabkowska and
Mieczyslaw K. Dabkowski and
Valentina S. Harizanov and
Amir A. Togha},
title = {Spaces of orders and their Turing degree spectra},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {9},
pages = {1134--1143},
year = {2010},
url = {https://doi.org/10.1016/j.apal.2010.01.004},
doi = {10.1016/J.APAL.2010.01.004},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/DabkowskaDHT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/CenzerHMW09,
author = {Douglas A. Cenzer and
Valentina S. Harizanov and
David Marker and
Carol Wood},
title = {Preface},
journal = {Arch. Math. Log.},
volume = {48},
number = {1},
pages = {1--6},
year = {2009},
url = {https://doi.org/10.1007/s00153-008-0111-5},
doi = {10.1007/S00153-008-0111-5},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/CenzerHMW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/ChubbFH09,
author = {Jennifer Chubb and
Andrey N. Frolov and
Valentina S. Harizanov},
title = {Degree spectra of the successor relation of computable linear orderings},
journal = {Arch. Math. Log.},
volume = {48},
number = {1},
pages = {7--13},
year = {2009},
url = {https://doi.org/10.1007/s00153-008-0110-6},
doi = {10.1007/S00153-008-0110-6},
timestamp = {Wed, 24 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aml/ChubbFH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/HarizanovJK09,
author = {Valentina S. Harizanov and
Carl G. Jockusch Jr. and
Julia F. Knight},
title = {Chains and antichains in partial orderings},
journal = {Arch. Math. Log.},
volume = {48},
number = {1},
pages = {39--53},
year = {2009},
url = {https://doi.org/10.1007/s00153-008-0114-2},
doi = {10.1007/S00153-008-0114-2},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/HarizanovJK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/CalvertCHM09,
author = {Wesley Calvert and
Douglas A. Cenzer and
Valentina S. Harizanov and
Andrei S. Morozov},
title = {Effective categoricity of Abelian p-groups},
journal = {Ann. Pure Appl. Log.},
volume = {159},
number = {1-2},
pages = {187--197},
year = {2009},
url = {https://doi.org/10.1016/j.apal.2008.11.003},
doi = {10.1016/J.APAL.2008.11.003},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/CalvertCHM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/ChisholmFGHKQ09,
author = {John Chisholm and
Ekaterina B. Fokina and
Sergei S. Goncharov and
Valentina S. Harizanov and
Julia F. Knight and
Sara Quinn},
title = {Intrinsic bounds on complexity and definability at limit levels},
journal = {J. Symb. Log.},
volume = {74},
number = {3},
pages = {1047--1060},
year = {2009},
url = {https://doi.org/10.2178/jsl/1245158098},
doi = {10.2178/JSL/1245158098},
timestamp = {Thu, 31 Aug 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/ChisholmFGHKQ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/CenzerHR09,
author = {Douglas A. Cenzer and
Valentina S. Harizanov and
Jeffrey B. Remmel},
editor = {Klaus Ambos{-}Spies and
Benedikt L{\"{o}}we and
Wolfgang Merkle},
title = {S\({}^{\mbox{0}}\)\({}_{\mbox{1}}\) and P\({}^{\mbox{0}}\)\({}_{\mbox{1}}\)
Equivalence Structures},
booktitle = {Mathematical Theory and Computational Practice, 5th Conference on
Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24,
2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5635},
pages = {99--108},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03073-4\_11},
doi = {10.1007/978-3-642-03073-4\_11},
timestamp = {Sun, 02 Jun 2019 21:17:54 +0200},
biburl = {https://dblp.org/rec/conf/cie/CenzerHR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/ChubbHMPU08,
author = {Jennifer Chubb and
Valentina S. Harizanov and
Andrei S. Morozov and
Sarah Pingrey and
Eric Ufferman},
title = {Partial automorphism semigroups},
journal = {Ann. Pure Appl. Log.},
volume = {156},
number = {2-3},
pages = {245--258},
year = {2008},
url = {https://doi.org/10.1016/j.apal.2008.06.016},
doi = {10.1016/J.APAL.2008.06.016},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/ChubbHMPU08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/HarizanovS07,
author = {Valentina S. Harizanov and
Frank Stephan},
title = {On the learnability of vector spaces},
journal = {J. Comput. Syst. Sci.},
volume = {73},
number = {1},
pages = {109--122},
year = {2007},
url = {https://doi.org/10.1016/j.jcss.2006.09.001},
doi = {10.1016/J.JCSS.2006.09.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/HarizanovS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/CsimaHHS07,
author = {Barbara F. Csima and
Valentina S. Harizanov and
Denis R. Hirschfeldt and
Robert I. Soare},
title = {Bounding homogeneous models},
journal = {J. Symb. Log.},
volume = {72},
number = {1},
pages = {305--323},
year = {2007},
url = {https://doi.org/10.2178/jsl/1174668397},
doi = {10.2178/JSL/1174668397},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/CsimaHHS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/HarizanovM07,
author = {Valentina S. Harizanov and
Russell G. Miller},
title = {Spectra of structures and relations},
journal = {J. Symb. Log.},
volume = {72},
number = {1},
pages = {324--348},
year = {2007},
url = {https://doi.org/10.2178/jsl/1174668398},
doi = {10.2178/JSL/1174668398},
timestamp = {Wed, 16 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/HarizanovM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/ChisholmCHHJMP07,
author = {John Chisholm and
Jennifer Chubb and
Valentina S. Harizanov and
Denis R. Hirschfeldt and
Carl G. Jockusch Jr. and
Timothy H. McNicholl and
Sarah Pingrey},
title = {{\(\Pi\)}\({}_{\mbox{1}}\)\({}^{\mbox{0}}\) classes and strong degree
spectra of relations},
journal = {J. Symb. Log.},
volume = {72},
number = {3},
pages = {1003--1018},
year = {2007},
url = {https://doi.org/10.2178/jsl/1191333852},
doi = {10.2178/JSL/1191333852},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/ChisholmCHHJMP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/leus/HarizanovGF07,
author = {Valentina S. Harizanov and
Norma B. Goethe and
Mich{\`{e}}le Friend},
editor = {Mich{\`{e}}le Friend and
Norma B. Goethe and
Valentina S. Harizanov},
title = {Introduction to the Philosophy and Mathematics of Algorithmic Learning
Theory},
booktitle = {Induction, Algorithmic Learning Theory, and Philosophy},
series = {Logic, Epistemology, and the Unity of Science},
volume = {9},
pages = {1--24},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-1-4020-6127-1\_1},
doi = {10.1007/978-1-4020-6127-1\_1},
timestamp = {Tue, 16 May 2017 14:24:24 +0200},
biburl = {https://dblp.org/rec/series/leus/HarizanovGF07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/leus/Harizanov07,
author = {Valentina S. Harizanov},
editor = {Mich{\`{e}}le Friend and
Norma B. Goethe and
Valentina S. Harizanov},
title = {Inductive Inference Systems for Learning Classes of Algorithmically
Generated Sets and Structures},
booktitle = {Induction, Algorithmic Learning Theory, and Philosophy},
series = {Logic, Epistemology, and the Unity of Science},
volume = {9},
pages = {27--54},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-1-4020-6127-1\_2},
doi = {10.1007/978-1-4020-6127-1\_2},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/leus/Harizanov07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/leus/Friend07,
editor = {Mich{\`{e}}le Friend and
Norma B. Goethe and
Valentina S. Harizanov},
title = {Induction, Algorithmic Learning Theory, and Philosophy},
series = {Logic, Epistemology, and the Unity of Science},
volume = {9},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-1-4020-6127-1},
doi = {10.1007/978-1-4020-6127-1},
isbn = {978-1-4020-6126-4},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/leus/Friend07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/CalvertCHM06,
author = {Wesley Calvert and
Douglas Cenzer and
Valentina S. Harizanov and
Andrei S. Morozov},
title = {Effective categoricity of equivalence structures},
journal = {Ann. Pure Appl. Log.},
volume = {141},
number = {1-2},
pages = {61--78},
year = {2006},
url = {https://doi.org/10.1016/j.apal.2005.10.002},
doi = {10.1016/J.APAL.2005.10.002},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/CalvertCHM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/DimitrovHM05,
author = {Rumen D. Dimitrov and
Valentina S. Harizanov and
Andrei S. Morozov},
title = {Dependence relations in computably rigid computable vector spaces},
journal = {Ann. Pure Appl. Log.},
volume = {132},
number = {1},
pages = {97--108},
year = {2005},
url = {https://doi.org/10.1016/j.apal.2004.06.007},
doi = {10.1016/J.APAL.2004.06.007},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/DimitrovHM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/GoncharovHKMMS05,
author = {Sergei S. Goncharov and
Valentina S. Harizanov and
Julia F. Knight and
Charles F. D. McCoy and
Russell G. Miller and
Reed Solomon},
title = {Enumerations in computable structure theory},
journal = {Ann. Pure Appl. Log.},
volume = {136},
number = {3},
pages = {219--246},
year = {2005},
url = {https://doi.org/10.1016/j.apal.2005.02.001},
doi = {10.1016/J.APAL.2005.02.001},
timestamp = {Wed, 16 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/GoncharovHKMMS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/GoncharovHKS04,
author = {Sergei S. Goncharov and
Valentina S. Harizanov and
Julia F. Knight and
Richard A. Shore},
title = {Pi\({}_{\mbox{1}}\)\({}^{\mbox{1}}\) relations and paths through},
journal = {J. Symb. Log.},
volume = {69},
number = {2},
pages = {585--611},
year = {2004},
url = {https://doi.org/10.2178/jsl/1082418544},
doi = {10.2178/JSL/1082418544},
timestamp = {Thu, 31 Aug 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/GoncharovHKS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/GoncharovHKM03,
author = {Sergei S. Goncharov and
Valentina S. Harizanov and
Julia F. Knight and
Charles F. D. McCoy},
title = {Simple and immune relations on countable structures},
journal = {Arch. Math. Log.},
volume = {42},
number = {3},
pages = {279--291},
year = {2003},
url = {https://doi.org/10.1007/s00153-002-0150-2},
doi = {10.1007/S00153-002-0150-2},
timestamp = {Thu, 31 Aug 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/GoncharovHKM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Harizanov03,
author = {Valentina S. Harizanov},
title = {Turing degrees of hypersimple relations on computable structures},
journal = {Ann. Pure Appl. Log.},
volume = {121},
number = {2-3},
pages = {209--226},
year = {2003},
url = {https://doi.org/10.1016/S0168-0072(02)00113-6},
doi = {10.1016/S0168-0072(02)00113-6},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Harizanov03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Harizanov02,
author = {Valentina S. Harizanov},
title = {Computability-theoretic complexity of countable structures},
journal = {Bull. Symb. Log.},
volume = {8},
number = {3},
pages = {457--477},
year = {2002},
url = {https://doi.org/10.2178/bsl/1182353917},
doi = {10.2178/BSL/1182353917},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/Harizanov02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/HarizanovKM02,
author = {Valentina S. Harizanov and
Julia F. Knight and
Andrei S. Morozov},
title = {Sequences of n-Diagrams},
journal = {J. Symb. Log.},
volume = {67},
number = {3},
pages = {1227--1247},
year = {2002},
url = {https://doi.org/10.2178/jsl/1190150160},
doi = {10.2178/JSL/1190150160},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/HarizanovKM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alt/HarizanovS02,
author = {Valentina S. Harizanov and
Frank Stephan},
editor = {Nicol{\`{o}} Cesa{-}Bianchi and
Masayuki Numao and
R{\"{u}}diger Reischuk},
title = {On the Learnability of Vector Spaces},
booktitle = {Algorithmic Learning Theory, 13th International Conference, {ALT}
2002, L{\"{u}}beck, Germany, November 24-26, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2533},
pages = {233--247},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36169-3\_20},
doi = {10.1007/3-540-36169-3\_20},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/alt/HarizanovS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Harizanov98,
author = {Valentina S. Harizanov},
title = {Turing Degrees of Certain Isomorphic Images of Computable Relations},
journal = {Ann. Pure Appl. Log.},
volume = {93},
number = {1-3},
pages = {103--113},
year = {1998},
url = {https://doi.org/10.1016/S0168-0072(97)00056-0},
doi = {10.1016/S0168-0072(97)00056-0},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Harizanov98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Harizanov96,
author = {Valentina S. Harizanov},
title = {Effectively and Noneffectively Nowhere Simple Sets},
journal = {Math. Log. Q.},
volume = {42},
pages = {241--248},
year = {1996},
url = {https://doi.org/10.1002/malq.19960420121},
doi = {10.1002/MALQ.19960420121},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Harizanov96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Harizanov93,
author = {Valentina S. Harizanov},
title = {The Possible Turing Degree of the Nonzero Member in a Two Element
Degree Spectrum},
journal = {Ann. Pure Appl. Log.},
volume = {60},
number = {1},
pages = {1--30},
year = {1993},
url = {https://doi.org/10.1016/0168-0072(93)90190-O},
doi = {10.1016/0168-0072(93)90190-O},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Harizanov93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/HarizanovKO92,
author = {Valentina S. Harizanov and
Martin Kummer and
James C. Owings},
title = {Frequency Computations and the Cardinality Theorem},
journal = {J. Symb. Log.},
volume = {57},
number = {2},
pages = {682--687},
year = {1992},
url = {https://doi.org/10.2307/2275300},
doi = {10.2307/2275300},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/HarizanovKO92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Harizanov91,
author = {Valentina S. Harizanov},
title = {Uncountable Degree Spectra},
journal = {Ann. Pure Appl. Log.},
volume = {54},
number = {3},
pages = {255--263},
year = {1991},
url = {https://doi.org/10.1016/0168-0072(91)90049-R},
doi = {10.1016/0168-0072(91)90049-R},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Harizanov91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Harizanov91a,
author = {Valentina S. Harizanov},
title = {Some Effects of Ash-Nerode and Other Decidability Conditions on Degree
Spectra},
journal = {Ann. Pure Appl. Log.},
volume = {55},
number = {1},
pages = {51--65},
year = {1991},
url = {https://doi.org/10.1016/0168-0072(91)90097-6},
doi = {10.1016/0168-0072(91)90097-6},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Harizanov91a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/MijajlovicH83,
author = {Zarko Mijajlovic and
Valentina S. Harizanov},
title = {Regular Relations and the Quantifier "There Exist uncountably
Many"},
journal = {Math. Log. Q.},
volume = {29},
number = {3},
pages = {151--161},
year = {1983},
url = {https://doi.org/10.1002/malq.19830290304},
doi = {10.1002/MALQ.19830290304},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/MijajlovicH83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-03-01 23:57 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
