Подписаться
Искандер Калимуллин
Название
Процитировано
Процитировано
Год
Degrees of categoricity of computable structures
EB Fokina, I Kalimullin, R Miller
Archive for Mathematical Logic 49 (1), 51-67, 2010
1322010
Algebraic structures computable without delay
I Kalimullin, A Melnikov, KM Ng
Theoretical Computer Science 674, 73-98, 2017
792017
Foundations of online structure theory
N Bazhenov, R Downey, I Kalimullin, A Melnikov
Bulletin of Symbolic Logic 25 (2), 141-181, 2019
622019
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
482013
On Downey's conjecture
MM Arslanov, IS Kalimullin, S Lempp
The Journal of Symbolic Logic 75 (2), 401-441, 2010
432010
Categoricity spectra for rigid structures
E Fokina, A Frolov, I Kalimullin
422016
Spectra of highn and non-lown degrees
A Frolov, I Kalimullin, V Harizanov, O Kudinov, R Miller
Journal of Logic and Computation 22 (4), 755-777, 2010
412010
Automatic and polynomial-time algebraic structures
N Bazhenov, M Harrison-Trainor, I Kalimullin, A Melnikov, KM Ng
The Journal of Symbolic Logic 84 (4), 1630-1669, 2019
392019
Splitting properties of total enumeration degrees
MM Arslanov, IS Kalimullin, SB Cooper
Algebra and Logic 42, 1-13, 2003
292003
Computability principles on admissible sets
IS Kalimullin, VG Puzarenko
Matematicheskie trudy 7 (2), 35-71, 2004
262004
The diversity of categoricity without delay
IS Kalimullin, AG Melnikov, KM Ng
242017
Graphs are not universal for online computability
R Downey, M Harrison-Trainor, I Kalimullin, A Melnikov, D Turetsky
Journal of Computer and System Sciences 112, 1-12, 2020
222020
Degree spectra and immunity properties
BF Csima, IS Kalimullin
Mathematical Logic Quarterly 56 (1), 67-77, 2010
222010
Reducibility on families
IS Kalimullin∗, VG Puzarenko∗∗
Algebra and Logic 48 (1), 20-32, 2009
222009
Spectra of algebraic fields and subfields
A Frolov, I Kalimullin, R Miller
Conference on Computability in Europe, 232-241, 2009
202009
Online presentations of finitely generated structures
N Bazhenov, I Kalimullin, A Melnikov, KM Ng
Theoretical Computer Science 844, 195-216, 2020
192020
Degrees of categoricity and spectral dimension
NA Bazhenov, IS Kalimullin, MM Yamaleev
The Journal of Symbolic Logic 83 (1), 103-116, 2018
192018
О принципах вычислимости на допустимых множествах
ИШ Калимуллин, ВГ Пузаренко
Математические труды 7 (2), 35-71, 2004
192004
Almost computably enumerable families of sets
IS Kalimullin
Sbornik: Mathematics 199 (10), 1451, 2008
182008
О сводимости на семействах
ИШ Калимуллин, ВГ Пузаренко
Алгебра и логика 48 (1), 31-53, 2009
172009
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–20