Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Alexander G. Melnikov
@article{DBLP:journals/apal/BazhenovFLM24,
author = {Nikolay Bazhenov and
Marta Fiori{-}Carones and
Lu Liu and
Alexander G. Melnikov},
title = {Primitive recursive reverse mathematics},
journal = {Ann. Pure Appl. Log.},
volume = {175},
number = {Issue 1, Part {A}},
pages = {103354},
year = {2024},
url = {https://doi.org/10.1016/j.apal.2023.103354},
doi = {10.1016/J.APAL.2023.103354},
timestamp = {Wed, 17 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/BazhenovFLM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/BazhenovHM23,
author = {Nikolay Bazhenov and
Matthew Harrison{-}Trainor and
Alexander G. Melnikov},
title = {Computable Stone spaces},
journal = {Ann. Pure Appl. Log.},
volume = {174},
number = {9},
pages = {103304},
year = {2023},
url = {https://doi.org/10.1016/j.apal.2023.103304},
doi = {10.1016/J.APAL.2023.103304},
timestamp = {Wed, 17 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/BazhenovHM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/DowneyM23,
author = {Rodney G. Downey and
Alexander G. Melnikov},
title = {Computably Compact Metric Spaces},
journal = {Bull. Symb. Log.},
volume = {29},
number = {2},
pages = {170--263},
year = {2023},
url = {https://doi.org/10.1017/bsl.2023.16},
doi = {10.1017/BSL.2023.16},
timestamp = {Mon, 01 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/DowneyM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/DorzhievaM23,
author = {Marina Dorzhieva and
Alexander G. Melnikov},
title = {Punctually presented structures {I:} Closure theorems},
journal = {Comput.},
volume = {12},
number = {4},
pages = {323--337},
year = {2023},
url = {https://doi.org/10.3233/COM-230448},
doi = {10.3233/COM-230448},
timestamp = {Thu, 25 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/computability/DorzhievaM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijac/MelnikovN23,
author = {Alexander G. Melnikov and
Keng Meng Ng},
title = {Separating notions in effective topology},
journal = {Int. J. Algebra Comput.},
volume = {33},
number = {8},
pages = {1687--1711},
year = {2023},
url = {https://doi.org/10.1142/S0218196723500649},
doi = {10.1142/S0218196723500649},
timestamp = {Fri, 22 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijac/MelnikovN23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/KalimullinMM21,
author = {Iskander Sh. Kalimullin and
Alexander G. Melnikov and
Antonio Montalb{\'{a}}n},
title = {Punctual definability on structures},
journal = {Ann. Pure Appl. Log.},
volume = {172},
number = {8},
pages = {102987},
year = {2021},
url = {https://doi.org/10.1016/j.apal.2021.102987},
doi = {10.1016/J.APAL.2021.102987},
timestamp = {Tue, 13 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/KalimullinMM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/GreenbergHMT21,
author = {Noam Greenberg and
Matthew Harrison{-}Trainor and
Alexander G. Melnikov and
Dan Turetsky},
title = {Non-density in punctual computability},
journal = {Ann. Pure Appl. Log.},
volume = {172},
number = {9},
pages = {102985},
year = {2021},
url = {https://doi.org/10.1016/j.apal.2021.102985},
doi = {10.1016/J.APAL.2021.102985},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/GreenbergHMT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/DowneyMN21,
author = {Rod Downey and
Alexander G. Melnikov and
Keng Meng Ng},
title = {Foundations of Online Structure Theory {II:} The Operator Approach},
journal = {Log. Methods Comput. Sci.},
volume = {17},
number = {3},
year = {2021},
url = {https://doi.org/10.46298/lmcs-17(3:6)2021},
doi = {10.46298/LMCS-17(3:6)2021},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/DowneyMN21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/MelnikovSY20,
author = {Alexander G. Melnikov and
Victor L. Selivanov and
Mars M. Yamaleev},
title = {Turing reducibility in the fine hierarchy},
journal = {Ann. Pure Appl. Log.},
volume = {171},
number = {7},
pages = {102766},
year = {2020},
url = {https://doi.org/10.1016/j.apal.2019.102766},
doi = {10.1016/J.APAL.2019.102766},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/MelnikovSY20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijac/Bazhenov0M20,
author = {Nikolay Bazhenov and
Sergey Goncharov and
Alexander G. Melnikov},
title = {Decompositions of decidable abelian groups},
journal = {Int. J. Algebra Comput.},
volume = {30},
number = {1},
pages = {49--90},
year = {2020},
url = {https://doi.org/10.1142/s0218196719500644},
doi = {10.1142/S0218196719500644},
timestamp = {Wed, 17 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijac/Bazhenov0M20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/DowneyHKMT20,
author = {Rodney G. Downey and
Matthew Harrison{-}Trainor and
Iskander Sh. Kalimullin and
Alexander G. Melnikov and
Daniel Turetsky},
title = {Graphs are not universal for online computability},
journal = {J. Comput. Syst. Sci.},
volume = {112},
pages = {1--12},
year = {2020},
url = {https://doi.org/10.1016/j.jcss.2020.02.004},
doi = {10.1016/J.JCSS.2020.02.004},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcss/DowneyHKMT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BrownMM20,
author = {Tyler Brown and
Timothy H. McNicholl and
Alexander G. Melnikov},
title = {On the Complexity of Classifying Lebesgue Spaces},
journal = {J. Symb. Log.},
volume = {85},
number = {3},
pages = {1254--1288},
year = {2020},
url = {https://doi.org/10.1017/jsl.2020.63},
doi = {10.1017/JSL.2020.63},
timestamp = {Thu, 25 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/BrownMM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/DowneyGMNT20,
author = {Rod Downey and
Noam Greenberg and
Alexander G. Melnikov and
Keng Meng Ng and
Daniel Turetsky},
title = {Punctual Categoricity and Universality},
journal = {J. Symb. Log.},
volume = {85},
number = {4},
pages = {1427--1466},
year = {2020},
url = {https://doi.org/10.1017/jsl.2020.51},
doi = {10.1017/JSL.2020.51},
timestamp = {Wed, 28 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/DowneyGMNT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Harrison-Trainor20,
author = {Matthew Harrison{-}Trainor and
Alexander G. Melnikov and
Keng Meng Ng},
title = {Computability of Polish Spaces up to Homeomorphism},
journal = {J. Symb. Log.},
volume = {85},
number = {4},
pages = {1664--1686},
year = {2020},
url = {https://doi.org/10.1017/jsl.2020.67},
doi = {10.1017/JSL.2020.67},
timestamp = {Wed, 28 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Harrison-Trainor20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BazhenovKMN20,
author = {Nikolay Bazhenov and
Iskander Sh. Kalimullin and
Alexander G. Melnikov and
Keng Meng Ng},
title = {Online presentations of finitely generated structures},
journal = {Theor. Comput. Sci.},
volume = {844},
pages = {195--216},
year = {2020},
url = {https://doi.org/10.1016/j.tcs.2020.08.021},
doi = {10.1016/J.TCS.2020.08.021},
timestamp = {Wed, 17 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/BazhenovKMN20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/DowneyM20,
author = {Rodney G. Downey and
Alexander G. Melnikov},
editor = {Marcella Anselmo and
Gianluca Della Vedova and
Florin Manea and
Arno Pauly},
title = {Computable Analysis and Classification Problems},
booktitle = {Beyond the Horizon of Computability - 16th Conference on Computability
in Europe, CiE 2020, Fisciano, Italy, June 29 - July 3, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12098},
pages = {100--111},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-51466-2\_9},
doi = {10.1007/978-3-030-51466-2\_9},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/DowneyM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/DowneyMN19,
author = {Rod Downey and
Alexander G. Melnikov and
Keng Meng Ng},
title = {Categorical linearly ordered structures},
journal = {Ann. Pure Appl. Log.},
volume = {170},
number = {10},
pages = {1243--1255},
year = {2019},
url = {https://doi.org/10.1016/j.apal.2019.05.004},
doi = {10.1016/J.APAL.2019.05.004},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/DowneyMN19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/BazhenovDKM19,
author = {Nikolay Bazhenov and
Rod Downey and
Iskander Sh. Kalimullin and
Alexander G. Melnikov},
title = {Foundations of Online Structure Theory},
journal = {Bull. Symb. Log.},
volume = {25},
number = {2},
pages = {141--181},
year = {2019},
url = {https://doi.org/10.1017/bsl.2019.20},
doi = {10.1017/BSL.2019.20},
timestamp = {Wed, 17 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/BazhenovDKM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BazhenovHKMN19,
author = {Nikolay Bazhenov and
Matthew Harrison{-}Trainor and
Iskander Sh. Kalimullin and
Alexander G. Melnikov and
Keng Meng Ng},
title = {Automatic and Polynomial-Time Algebraic Structures},
journal = {J. Symb. Log.},
volume = {84},
number = {4},
pages = {1630--1669},
year = {2019},
url = {https://doi.org/10.1017/jsl.2019.26},
doi = {10.1017/JSL.2019.26},
timestamp = {Wed, 17 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/BazhenovHKMN19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/GaoJKLMSS19,
author = {Ziyuan Gao and
Sanjay Jain and
Bakhadyr Khoussainov and
Wei Li and
Alexander G. Melnikov and
Karen Seidel and
Frank Stephan},
editor = {Peter Rossmanith and
Pinar Heggernes and
Joost{-}Pieter Katoen},
title = {Random Subgroups of Rationals},
booktitle = {44th International Symposium on Mathematical Foundations of Computer
Science, {MFCS} 2019, August 26-30, 2019, Aachen, Germany},
series = {LIPIcs},
volume = {138},
pages = {25:1--25:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.MFCS.2019.25},
doi = {10.4230/LIPICS.MFCS.2019.25},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/GaoJKLMSS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1901-04743,
author = {Ziyuan Gao and
Sanjay Jain and
Bakhadyr Khoussainov and
Wei Li and
Alexander G. Melnikov and
Karen Seidel and
Frank Stephan},
title = {Random Subgroups of Rationals},
journal = {CoRR},
volume = {abs/1901.04743},
year = {2019},
url = {http://arxiv.org/abs/1901.04743},
eprinttype = {arXiv},
eprint = {1901.04743},
timestamp = {Sat, 02 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1901-04743.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jml/Melnikov18,
author = {Alexander G. Melnikov},
title = {Torsion-free abelian groups with optimal Scott families},
journal = {J. Math. Log.},
volume = {18},
number = {1},
pages = {1850002:1--1850002:47},
year = {2018},
url = {https://doi.org/10.1142/S0219061318500022},
doi = {10.1142/S0219061318500022},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jml/Melnikov18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/MelnikovM18,
author = {Alexander G. Melnikov and
Antonio Montalb{\'{a}}n},
title = {Computable Polish Group Actions},
journal = {J. Symb. Log.},
volume = {83},
number = {2},
pages = {443--460},
year = {2018},
url = {https://doi.org/10.1017/jsl.2017.68},
doi = {10.1017/JSL.2017.68},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/MelnikovM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/GreenbergMKT18,
author = {Noam Greenberg and
Alexander G. Melnikov and
Julia F. Knight and
Daniel Turetsky},
title = {Uniform Procedures in uncountable Structures},
journal = {J. Symb. Log.},
volume = {83},
number = {2},
pages = {529--550},
year = {2018},
url = {https://doi.org/10.1017/jsl.2017.91},
doi = {10.1017/JSL.2017.91},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/GreenbergMKT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jml/DowneyMN17,
author = {Rodney G. Downey and
Alexander G. Melnikov and
Keng Meng Ng},
title = {A Friedberg enumeration of equivalence structures},
journal = {J. Math. Log.},
volume = {17},
number = {2},
pages = {1750008:1--1750008:28},
year = {2017},
url = {https://doi.org/10.1142/S0219061317500088},
doi = {10.1142/S0219061317500088},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jml/DowneyMN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Harrison-Trainor17,
author = {Matthew Harrison{-}Trainor and
Alexander G. Melnikov and
Russell G. Miller and
Antonio Montalb{\'{a}}n},
title = {Computable Functors and Effective interpretability},
journal = {J. Symb. Log.},
volume = {82},
number = {1},
pages = {77--97},
year = {2017},
url = {https://doi.org/10.1017/jsl.2016.12},
doi = {10.1017/JSL.2016.12},
timestamp = {Wed, 16 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/Harrison-Trainor17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Melnikov17,
author = {Alexander G. Melnikov},
title = {New Degree Spectra of Abelian Groups},
journal = {Notre Dame J. Formal Log.},
volume = {58},
number = {4},
pages = {507--525},
year = {2017},
url = {https://doi.org/10.1215/00294527-2017-0006},
doi = {10.1215/00294527-2017-0006},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Melnikov17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KalimullinMN17,
author = {Iskander Sh. Kalimullin and
Alexander G. Melnikov and
Keng Meng Ng},
title = {Algebraic structures computable without delay},
journal = {Theor. Comput. Sci.},
volume = {674},
pages = {73--98},
year = {2017},
url = {https://doi.org/10.1016/j.tcs.2017.01.029},
doi = {10.1016/J.TCS.2017.01.029},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/KalimullinMN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Melnikov17,
author = {Alexander G. Melnikov},
editor = {Jarkko Kari and
Florin Manea and
Ion Petre},
title = {Eliminating Unbounded Search in Computable Algebra},
booktitle = {Unveiling Dynamics and Complexity - 13th Conference on Computability
in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10307},
pages = {77--87},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-58741-7\_8},
doi = {10.1007/978-3-319-58741-7\_8},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/Melnikov17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2017downey,
editor = {Adam R. Day and
Michael R. Fellows and
Noam Greenberg and
Bakhadyr Khoussainov and
Alexander G. Melnikov and
Frances A. Rosamond},
title = {Computability and Complexity - Essays Dedicated to Rodney G. Downey
on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {10010},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-50062-1},
doi = {10.1007/978-3-319-50062-1},
isbn = {978-3-319-50061-4},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/2017downey.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/DowneyMN16,
author = {Rodney G. Downey and
Alexander G. Melnikov and
Keng Meng Ng},
title = {Abelian p-groups and the Halting problem},
journal = {Ann. Pure Appl. Log.},
volume = {167},
number = {11},
pages = {1123--1138},
year = {2016},
url = {https://doi.org/10.1016/j.apal.2016.04.016},
doi = {10.1016/J.APAL.2016.04.016},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/DowneyMN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/DowneyMN15,
author = {Rod Downey and
Alexander G. Melnikov and
Keng Meng Ng},
title = {On -categoricity of equivalence relations},
journal = {Ann. Pure Appl. Log.},
volume = {166},
number = {9},
pages = {851--880},
year = {2015},
url = {https://doi.org/10.1016/j.apal.2015.04.003},
doi = {10.1016/J.APAL.2015.04.003},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/DowneyMN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Melnikov14,
author = {Alexander G. Melnikov},
title = {Computable Abelian Groups},
journal = {Bull. Symb. Log.},
volume = {20},
number = {3},
pages = {315--356},
year = {2014},
url = {https://doi.org/10.1017/bsl.2014.32},
doi = {10.1017/BSL.2014.32},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/Melnikov14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijac/DowneyMN14,
author = {Rodney G. Downey and
Alexander G. Melnikov and
Keng Meng Ng},
title = {Iterated effective embeddings of abelian p-groups},
journal = {Int. J. Algebra Comput.},
volume = {24},
number = {7},
pages = {1055},
year = {2014},
url = {https://doi.org/10.1142/S0218196714500465},
doi = {10.1142/S0218196714500465},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijac/DowneyMN14.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/jsyml/Melnikov13,
author = {Alexander G. Melnikov},
title = {Computably isometric spaces},
journal = {J. Symb. Log.},
volume = {78},
number = {4},
pages = {1055--1085},
year = {2013},
url = {https://doi.org/10.2178/jsl.7804030},
doi = {10.2178/JSL.7804030},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Melnikov13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/MelnikovN13,
author = {Alexander G. Melnikov and
Andr{\'{e}} Nies},
editor = {Paola Bonizzoni and
Vasco Brattka and
Benedikt L{\"{o}}we},
title = {The Classification Problem for Compact Computable Metric Spaces},
booktitle = {The Nature of Computation. Logic, Algorithms, Applications - 9th Conference
on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7921},
pages = {320--328},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39053-1\_37},
doi = {10.1007/978-3-642-39053-1\_37},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/MelnikovN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/AndersenKMS12,
author = {Brooke M. Andersen and
Asher M. Kach and
Alexander G. Melnikov and
Reed Solomon},
title = {Jump degrees of torsion-free abelian groups},
journal = {J. Symb. Log.},
volume = {77},
number = {4},
pages = {1067--1100},
year = {2012},
url = {https://doi.org/10.2178/jsl.7704020},
doi = {10.2178/JSL.7704020},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/AndersenKMS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/FokinaKMQS11,
author = {Ekaterina B. Fokina and
Julia F. Knight and
Alexander G. Melnikov and
Sara Quinn and
C. Safranski},
title = {Classes of Ulm type and coding rank-homogeneous trees in other structures},
journal = {J. Symb. Log.},
volume = {76},
number = {3},
pages = {846--869},
year = {2011},
url = {https://doi.org/10.2178/jsl/1309952523},
doi = {10.2178/JSL/1309952523},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/FokinaKMQS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/DowneyGKKKMT10,
author = {Rodney G. Downey and
Sergei S. Goncharov and
Asher M. Kach and
Julia F. Knight and
Oleg V. Kudinov and
Alexander G. Melnikov and
Daniel Turetsky},
title = {Decidability and Computability of Certain Torsion-Free Abelian Groups},
journal = {Notre Dame J. Formal Log.},
volume = {51},
number = {1},
pages = {85--96},
year = {2010},
url = {https://doi.org/10.1215/00294527-2010-006},
doi = {10.1215/00294527-2010-006},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/DowneyGKKKMT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Melnikov10,
author = {Alexander G. Melnikov},
editor = {Fernando Ferreira and
Benedikt L{\"{o}}we and
Elvira Mayordomo and
Lu{\'{\i}}s Mendes Gomes},
title = {Computable Ordered Abelian Groups and Fields},
booktitle = {Programs, Proofs, Processes, 6th Conference on Computability in Europe,
CiE 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6158},
pages = {321--330},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13962-8\_36},
doi = {10.1007/978-3-642-13962-8\_36},
timestamp = {Tue, 10 Dec 2019 15:37:25 +0100},
biburl = {https://dblp.org/rec/conf/cie/Melnikov10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/Melnikov09,
author = {Alexander G. Melnikov},
title = {Enumerations and Completely Decomposable Torsion-Free Abelian Groups},
journal = {Theory Comput. Syst.},
volume = {45},
number = {4},
pages = {897--916},
year = {2009},
url = {https://doi.org/10.1007/s00224-009-9175-9},
doi = {10.1007/S00224-009-9175-9},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/Melnikov09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Melnikov09,
author = {Alexander G. Melnikov},
editor = {Klaus Ambos{-}Spies and
Benedikt L{\"{o}}we and
Wolfgang Merkle},
title = {0\({}^{\mbox{"}}\)-Categorical Completely Decomposable Torsion-Free
Abelian Groups},
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 = {362--371},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03073-4\_37},
doi = {10.1007/978-3-642-03073-4\_37},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/Melnikov09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Melnikov07,
author = {Alexander G. Melnikov},
editor = {S. Barry Cooper and
Benedikt L{\"{o}}we and
Andrea Sorbi},
title = {Enumerations and Torsion Free Abelian Groups},
booktitle = {Computation and Logic in the Real World, Third Conference on Computability
in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4497},
pages = {566--574},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73001-9\_59},
doi = {10.1007/978-3-540-73001-9\_59},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/Melnikov07.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-04-18 22:52 CEST 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:
