|
1
|
Penzina U.
, Stukachev A.
Skolem Functions and Generalized Quantifiers for Negative Polarity Items Semantics
In compilation
Distributed Computing and Artificial Intelligence, Special Sessions I, 21st International Conference.
2025.
– C.123-132. – ISBN 978-3-031-76458-5. DOI: 10.1007/978-3-031-76459-2_11
WOS
Scopus
OpenAlex
|
|
2
|
Burnistov A.S.
, Stukachev A.I.
Computable Functionals of Finite Types in Montague Semantics
Сибирские электронные математические известия (Siberian Electronic Mathematical Reports). 2024.
V.21. N2. P.1460-1472. DOI: 10.33048/semi.2024.21.093
WOS
Scopus
|
|
3
|
Stukachev A.I.
Structures on signatures of stuctures
In compilation
Model Theory and Algebra 2024: Collection of papers.
– НГТУ.,
2024.
– C.177-178. – ISBN 978-5-7782-5285-1.
|
|
4
|
Burnistov A.
, Stukachev A.
Generalized Computable Models and Montague Semantics
Studies in Computational Intelligence. 2023.
V.1081. P.107-124. DOI: 10.1007/978-3-031-21780-7_5
Scopus
OpenAlex
|
|
5
|
Burnistov A.S.
, Stukachev A.I.
Inner Constructivizability of Functional Structures
Algebra and Logic. 2022.
V.61. N1. P.16-29. DOI: 10.1007/s10469-022-09672-0
WOS
Scopus
РИНЦ
OpenAlex
|
|
6
|
Бурнистов А.С.
, Стукачев А.И.
О внутренней конструктивизируемости функциональных структур
Алгебра и логика. 2022.
Т.61. №1. С.23-41. DOI: 10.33048/alglog.2022.61.102
РИНЦ
|
|
7
|
Stukachev A.I.
Интервальные расширения порядков и темпоральные аппроксимационные пространства
Сибирский математический журнал. 2021.
Т.62. №4. С.894-910. DOI: 10.33048/smzh.2021.62.415
РИНЦ
OpenAlex
|
|
8
|
Stukachev A.
Interval Extensions of Orders and Temporal Approximation Spaces
Siberian Mathematical Journal. 2021.
V.62. N4. P.730-741. DOI: 10.1134/s0037446621040157
WOS
Scopus
OpenAlex
|
|
9
|
Stukachev A.
Approximation Spaces of Temporal Processes and Effectiveness of Interval Semantics
Advances in Intelligent Systems and Computing. 2021.
V.1242. P.53-61. DOI: 10.1007/978-3-030-53829-3_5
Scopus
OpenAlex
|
|
10
|
Stukachev A.
Generalized Hyperarithmetical Computability Over Structures
Algebra and Logic. 2017.
V.55. N6. P.507-526. DOI: 10.1007/s10469-017-9421-1
WOS
Scopus
OpenAlex
|
|
11
|
Stukachev A.
Processes and Structures on Approximation Spaces
Algebra and Logic. 2017.
V.56. N1. P.63-74. DOI: 10.1007/s10469-017-9426-9
WOS
Scopus
OpenAlex
|
|
12
|
Stukachev A.
Properties of sΣ-Reducibility
Algebra and Logic. 2014.
V.53. N5. P.405-417. DOI: 10.1007/s10469-014-9300-y
WOS
Scopus
OpenAlex
|
|
13
|
Стукачев А.И.
О квазирегулярных структурах вычислимых сигнатур
Сибирские электронные математические известия (Siberian Electronic Mathematical Reports). 2014.
Т.11. С.444-450.
|
|
14
|
Stukachev A.
Effective model theory: approach via σ-definability
In compilation
Lecture Notes in Logic.
– Cambridge University Press.,
2013.
– Т.41. – C.164-197. – ISBN 9781107014510. DOI: 10.1017/cbo9781139028592.010
OpenAlex
|
|
15
|
Stukachev A.
On Processes and Structures
Lecture Notes in Computer Science. 2013.
V.7921. P.393-402.
|
|
16
|
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
|
|
17
|
Stukachev A.
A jump inversion theorem for the semilattices of sigma-degrees
Siberian Advances in Mathematics. 2010.
V.20. N1. P.68-74. DOI: 10.3103/s1055134410010037
Scopus
OpenAlex
|
|
18
|
Stukachev A.
Σ-definability of uncountable models of c-simple theories
Siberian Mathematical Journal. 2010.
V.51. N3. P.515-524. DOI: 10.1007/s11202-010-0054-z
WOS
Scopus
OpenAlex
|
|
19
|
СТУКАЧЕВ А.И.
Теорема об обращении скачка для полурешеток Сигма-степеней
Сибирские электронные математические известия (Siberian Electronic Mathematical Reports). 2009.
Т.6. С.181-190.
|
|
20
|
Stukachev A.
Degrees of presentability of structures. II
Algebra and Logic. 2008.
V.47. N1. P.65-74. DOI: 10.1007/s10469-008-0007-9
WOS
Scopus
OpenAlex
|