关注
Alexander Melnikov
Alexander Melnikov
Associate Professor at Victoria University of Wellington, New Zealand
在 vuw.ac.nz 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Algebraic structures computable without delay
I Kalimullin, A Melnikov, KM Ng
Theoretical Computer Science 674, 73-98, 2017
722017
Computable model theory.
EB Fokina, VS Harizanov, AG Melnikov
Turing's Legacy, 124-194, 2014
692014
Computably isometric spaces
AG Melnikov
The Journal of Symbolic Logic 78 (4), 1055-1085, 2013
692013
Computable functors and effective interpretability
M Harrison-Trainor, A Melnikov, R Miller, A Montalbán
The Journal of Symbolic Logic 82 (1), 77-97, 2017
672017
Foundations of online structure theory
N Bazhenov, R Downey, I Kalimullin, A Melnikov
Bulletin of Symbolic Logic 25 (2), 141-181, 2019
542019
Limitwise monotonic sequences and degree spectra of structures
I Kalimullin, B Khoussainov, A Melnikov
Proceedings of the American Mathematical Society 141 (9), 3275-3289, 2013
462013
The classification problem for compact computable metric spaces
AG Melnikov, A Nies
Conference on Computability in Europe, 320-328, 2013
452013
Computable structures and operations on the space of continuous functions
AG Melnikov, KM Ng
Fundamenta Mathematicae 233, 1-41, 2014
362014
Effectively categorical abelian groups
R Downey, AG Melnikov
Journal of Algebra 373, 223-248, 2013
352013
This is a manuscript accepted for publication in The Journal of Symbolic Logic. Changes are likely to be introduced during the production process.
N BAZHENOV, M HARRISON-TRAINOR, I KALIMULLIN, A MELNIKOV, ...
35*
Computability of Polish spaces up to homeomorphism
M Harrison-Trainor, A Melnikov, KM Ng
The Journal of Symbolic Logic 85 (4), 1664-1686, 2020
302020
Computable abelian groups
AG Melnikov
Bulletin of Symbolic Logic 20 (3), 315-356, 2014
302014
Enumerations and completely decomposable torsion-free abelian groups
AG Melnikov
Theory of Computing Systems 45 (4), 897-916, 2009
272009
Computable topological groups and Pontryagin duality
A Melnikov
Transactions of the American Mathematical Society 370 (12), 8709-8737, 2018
262018
Computable Polish group actions
A Melnikov, A Montalbán
The Journal of Symbolic Logic 83 (2), 443-460, 2018
262018
Classes of Ulm type and coding rank-homogeneous trees in other structures
E Fokina, JF Knight, A Melnikov, SM Quinn, C Safranski
The Journal of Symbolic Logic 76 (3), 846-869, 2011
262011
Foundations of online structure theory II: The operator approach
R Downey, A Melnikov, KM Ng
Logical Methods in Computer Science 17, 2021
252021
Computable completely decomposable groups
R Downey, A Melnikov
Transactions of the American Mathematical Society 366 (8), 4243-4266, 2014
252014
Independence in computable algebra
M Harrison-Trainor, A Melnikov, A Montalbán
Journal of Algebra 443, 441-468, 2015
242015
Eliminating unbounded search in computable algebra
AG Melnikov
Unveiling Dynamics and Complexity: 13th Conference on Computability in …, 2017
232017
系统目前无法执行此操作,请稍后再试。
文章 1–20