Marat M. Arslanov

Publication Activity (10 Years)

Years Active: 1987-2018
Publications (10 Years): 3

Top Topics

Default Reasoning

Graph Structures

Proof Theoretic

Top Venues

J. Log. Comput.

Math. Struct. Comput. Sci.

Computability and Complexity

Pattern Recognit. Lett.

Publications

Marat M. Arslanov
Splitting and non-splitting in the difference hierarchy. Math. Struct. Comput. Sci. 28 (3) (2018)
Marat M. Arslanov, Iskander Sh. Kalimullin
A Survey of Results on the d-c.e. and n-c.e. Degrees. Computability and Complexity (2017)
Chingiz Kenshimov, Loukas Bampis, Beibut Amirgaliyev, Marat M. Arslanov, Antonios Gasteratos
Deep learning features exception for cross-season visual place recognition. Pattern Recognit. Lett. 100 (2017)
Marat M. Arslanov
Definable relations in Turing degree structures. J. Log. Comput. 23 (6) (2013)
Marat M. Arslanov
Model-theoretic properties of the n-c.e. degrees. J. Log. Comput. 22 (4) (2012)
Marat M. Arslanov, S. Barry Cooper, Iskander Sh. Kalimullin, Mariya Ivanova Soskova
enumeration degrees. Theor. Comput. Sci. 412 (18) (2011)
Marat M. Arslanov, Iskander Sh. Kalimullin, Steffen Lempp
On Downey's conjecture. J. Symb. Log. 75 (2) (2010)
Marat M. Arslanov, Ilnur I. Batyrshin, Roland Sh. Omanadze
Structural properties of Q-degrees of n-c. e. sets. Ann. Pure Appl. Log. 156 (1) (2008)
Marat M. Arslanov, S. Barry Cooper, Iskander Sh. Kalimullin, Mariya Ivanova Soskova
Total Degrees and Nonsplitting Properties of Enumeration Degrees. TAMC (2008)
Marat M. Arslanov, Chi Tat Chong, S. Barry Cooper, Yue Yang
The minimal e-degree problem in fragments of Peano arithmetic. Ann. Pure Appl. Log. 131 (1-3) (2005)
Marat M. Arslanov, S. Barry Cooper, Angsheng Li
There is no low maximal d. c. e. degree - Corrigendum. Math. Log. Q. 50 (6) (2004)
Marat M. Arslanov, Iskander Sh. Kalimullin, Andrea Sorbi
Density results in the Delta20 e-degrees. Arch. Math. Log. 40 (8) (2001)
Marat M. Arslanov, S. Barry Cooper, Angsheng Li
There is No Low Maximal D.C.E. Degree. Math. Log. Q. 46 (3) (2000)
Marat M. Arslanov, Geoffrey LaForte, Theodore A. Slaman
Relative Enumerability in the Difference Hierarchy. J. Symb. Log. 63 (2) (1998)
Marat M. Arslanov, Steffen Lempp, Richard A. Shore
Interpolating d-r.e. and REA Degrees between r.e. Degrees. Ann. Pure Appl. Log. 78 (1-3) (1996)
Marat M. Arslanov
The Recursion Theorem, Approximations, and Classifying Index Sets of Recursively Enumerable Sets. FCT (1987)