|
21
|
Kalimullin I.S.
, Puzarenko V.G.
, Faizrahmanov M.K.
Partial Decidable Presentations in Hyperarithmetic
Siberian Mathematical Journal. 2019.
V.60. N3. P.464-471. DOI: 10.1134/S0037446619030091
WOS
Scopus
OpenAlex
|
|
22
|
Avdeev R.R.
, Puzarenko V.G.
A Computable Structure with Non-Standard Computability
Siberian Advances in Mathematics. 2019.
V.29. N2. P.77-115. DOI: 10.3103/S1055134419020019
Scopus
OpenAlex
|
|
23
|
Kalimullin I.S.
, Kach A.
, Montalbán A.
, Puzarenko V.G.
, Faizrahmanov M.K.
Jump Inversions of Algebraic Structures and the Σ-Definability
Algebra and Logic. 2018.
V.57. N2. P.161-165. DOI: 10.1007/s10469-018-9488-3
WOS
Scopus
OpenAlex
|
|
24
|
Калимуллин И.Ш.
, Кач А.
, Монталбан А.
, Пузаренко В.Г.
, Файзрахманов М.Х.
Обращение скачка алгебраических структур и Σ-определимость
Алгебра и логика. 2018.
Т.57. №2. С.243-249. DOI: 10.17377/alglog.2018.57.207
|
|
25
|
Авдеев Р.Р.
, Пузаренко В.Г.
Вычислимая структура с нестандартной вычислимостью
Математические труды. 2018.
Т.21. №2. С.3-60. DOI: 10.17377/mattrudy.2018.21.201
|
|
26
|
Kalimullin I.S.
, Puzarenko V.G.
, Faizrahmanov M.K.
Positive Presentations of Families Relative to e-Oracles
Siberian Mathematical Journal. 2018.
V.59. N4. P.648-656. DOI: 10.1134/S0037446618040079
WOS
Scopus
OpenAlex
|
|
27
|
Kalimullin I.S.
, Puzarenko V.G.
, Faizrahmanov M.K.
Positive Presentations of Families in Relation to Reducibility with Respect to Enumerability
Algebra and Logic. 2018.
Т.57. №4. С.320-323. DOI: 10.1007/s10469-018-9503-8
WOS
Scopus
OpenAlex
|
|
28
|
Калимуллин И.Ш.
, Пузаренко В.Г.
, Файзрахманов М.Х.
ПОЗИТИВНЫЕ ПРЕДСТАВЛЕНИЯ СЕМЕЙСТВ ОТНОСИТЕЛЬНО СВОДИМОСТИ ПО ПЕРЕЧИСЛИМОСТИ
Алгебра и логика. 2018.
Т.57. №4. С.492-498. DOI: 10.17377/alglog.2018.57.406
|
|
29
|
Калимуллин И.Ш.
, Пузаренко В.Г.
, Файзрахманов М.Х.
Позитивные представления семейств относительно e-оракулов
Сибирский математический журнал. 2018.
Т.59. №4. С.823-833. DOI: 10.17377/smzh.2018.59.407
|
|
30
|
Faizrahmanov M.
, Kalimullin I.
, Montalban A.
, Puzarenko V.
The Least ∑-jump Inversion Theorem for n-families
Journal of Universal Computer Science. 2017.
V.23. N6. P.529-538. DOI: 10.3217/jucs-023-06-0529
|
|
31
|
Avdeev R.R.
, Puzarenko V.G.
A Computable Structure with Nonstandard Computability
Algebra and Logic. 2017.
V.56. N5. P.425-426. DOI: 10.1007/s10469-017-9463-4
WOS
Scopus
OpenAlex
|
|
32
|
Авдеев Р.Р.
, Пузаренко В.Г.
Вычислимая модель с нестандартной вычислимостью
Алгебра и логика. 2017.
Т.56. №5. С.636-638. DOI: 10.17377/alglog.2017.56.507
|
|
33
|
Ershov Y.L.
, Puzarenko V.G.
, Stukachev A.
HF-Computability
In compilation
Computability in Context Computation and Logic in the Real World.
– World Scientific.,
2011.
– C.169-242. DOI: 10.1142/9781848162778_0006
Scopus
РИНЦ
OpenAlex
|