|
21
|
Бадаев С.А.
, Гончаров С.С.
Полурешетки Роджерса с наименьшим и наибольшим элементом в иерархии Ершова
Алгебра и логика. 2022.
Т.61. №3. DOI: 10.33048/alglog.2022.61.304
РИНЦ
|
|
22
|
Гончаров С.С.
, Нечесов А.В.
Объектно-ориентированный логический язык программирования
для искусственного интеллекта и робототехники.
In compilation
Математическая логика и компьютерные науки. Труды Международной научной конференции 7-8 октября 2022 г., Астана, Казахстан.
– ЕНУ.,
2022.
– C.191-195. – ISBN 978-601-337-776-6.
|
|
23
|
Badaev S.A.
, Goncharov S.S.
Rogers Semilattices with Least and Greatest Elements in the Ershov Hierarchy
Algebra and Logic. 2022.
V.61. N3. P.334-340. DOI: 10.1007/s10469-022-09690-y
WOS
Scopus
РИНЦ
OpenAlex
|
|
24
|
Goncharov S.
, Nechesov A.
Polynomial analogue of gandy’s fixed point theorem
Mathematics. 2021.
V.9. N17. 2102
. DOI: 10.3390/math9172102
WOS
Scopus
OpenAlex
|
|
25
|
Goncharov S.S.
, Marchuk M.I.
The Degree of Decidable Categoricity of a Model with Infinite Solutions for Complete Formulas
Algebra and Logic. 2021.
V.60. N3. P.200-206. DOI: 10.1007/s10469-021-09642-y
WOS
Scopus
OpenAlex
|
|
26
|
Goncharov S.S.
, Harizanov V.
, Miller R.
On Decidable Categoricity and Almost Prime Models
Siberian Advances in Mathematics. 2020.
V.30. N3. P.200-212. DOI: 10.3103/S1055134420030050
Scopus
OpenAlex
|
|
27
|
Goncharov S.
, Ospichev S.
, Ponomaryov D.
, Sviridenko D.
The expressiveness of looping terms in the semantic programming
Сибирские электронные математические известия (Siberian Electronic Mathematical Reports). 2020.
V.17. 024
:1-15. DOI: 10.33048/SEMI.2020.17.024
WOS
Scopus
OpenAlex
|
|
28
|
Bazhenov N.
, Goncharov S.
, Melnikov A.
Decompositions of decidable abelian groups
International Journal of Algebra and Computation. 2020.
V.30. N1. P.49-90. DOI: 10.1142/S0218196719500644
WOS
Scopus
OpenAlex
|
|
29
|
Goncharov S.
, Sviridenko D.
Semantic Modeling and Hybrid Models
In compilation
SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings.
2020.
– C.987-990. – ISBN 978-172814401-6. DOI: 10.1109/sibircon48586.2019.8958196
Scopus
OpenAlex
|
|
30
|
Vityaev E.E.
, Goncharov S.S.
, Sviridenko D.I.
О задачном подходе в искусственном интеллекте
Сибирский философский журнал. 2020.
Т.18. №2. С.5-29. DOI: 10.25205/2541-7517-2020-18-2-5-29
OpenAlex
|
|
31
|
Goncharov S.S.
, Sviridenko D.I.
, Vityaev E.E.
Task Approach to Artificial Intelligence
CEUR Workshop Proceedings. 2020.
V.2642. P.1-6.
Scopus
|
|
32
|
Ershov Y.L.
, Goncharov S.S.
, Mazurov V.D.
, Baizhanov B.S.
, Kulpeshov B.S.
, Alaev P.E.
, Vasil'ev A.V.
, Vasil'ev E.V.
, Vdovin E.P.
, Verbovskii V.V.
, Vikent'ev A.A.
, Vlasov D.Y.
, Grechkoseeva M.A.
, Zhelyabin V.N.
, Kolesnikov P.S.
, Kopytov V.M.
, Maksimova L.L.
, Mal'tsev I.A.
, Morozov A.S.
, Nikitin A.A.
, Ovchinnikova E.V.
, Odintsov S.P.
, Pal'chunov D.E.
, Peryazev N.A.
, Pinus A.G.
, Pobedin L.N.
, Pozhidaev A.P.
, Poizat B.
, Puzarenko V.G.
, Revin D.O.
, Remeslennikov V.N.
, Romanovskii N.S.
, Ryaskin A.N.
, Starchenko S.S.
, Stepanova A.A.
, Sudoplatov S.V.
, Timoshenko E.I.
, Tusupov D.A.
, Khisamiev N.G.
, Churkin V.A.
, Chatzidakis Z.
, Shegirov K.M.
, Shestakov I.P.
Evgenii Andreevich Palyutin (1945–2018)
Сибирские электронные математические известия (Siberian Electronic Mathematical Reports). 2019.
Т.16. С.А.1-А.10. DOI: 10.33048/semi.2019.16.028
WOS
OpenAlex
|
|
33
|
Goncharov S.S.
, Sviridenko D.I.
Logical Language of Description of Polynomial Computing
Doklady Mathematics. 2019.
V.99. N2. P.121-124. DOI: 10.1134/S1064562419020030
WOS
Scopus
OpenAlex
|
|
34
|
Goncharov S.S.
, Miller R.
, Harizanov V.
Turing Degrees of Complete Formulas of Almost Prime Models
Algebra and Logic. 2019.
V.58. N3. P.282-287. DOI: 10.1007/s10469-019-09546-y
WOS
Scopus
OpenAlex
|
|
35
|
Goncharov S.S.
, Sviridenko D.I.
Recursive Terms in Semantic Programming
Siberian Mathematical Journal. 2018.
V.59. N6. P.1014-1023. DOI: 10.1134/s0037446618060058
WOS
Scopus
OpenAlex
|
|
36
|
Goncharov S.S.
, Knight J.F.
, Souldatos I.
Hanf number for Scott sentences of computable structures
Archive for Mathematical Logic. 2018.
V.57. N7-8. P.889-907. DOI: 10.1007/s00153-018-0615-6
WOS
Scopus
OpenAlex
|
|
37
|
Goncharov S.S.
Conditional terms in semantic programming
Siberian Mathematical Journal. 2017.
V.58. N5. P.794-800. DOI: 10.1134/S0037446617050068
WOS
Scopus
OpenAlex
|
|
38
|
Goncharov S.S.
, Bazhenov N.A.
, Marchuk M.I.
The index set of the groups autostable relative to strong constructivizations
Siberian Mathematical Journal. 2017.
V.58. N1. P.72-77. DOI: 10.1134/S0037446617010104
WOS
Scopus
OpenAlex
|
|
39
|
Goncharov S.S.
, Bazhenov N.A.
, Marchuk M.I.
Index Set of Linear Orderings that are Autostable Relative to Strong Constructivizations
Journal of Mathematical Sciences (United States). 2017.
V.221. N6. P.840-848. DOI: 10.1007/s10958-017-3272-0
Scopus
OpenAlex
|