Sciact
Toggle navigation
  • EN
  • RU

Разделы:

  • Статьи
  • Книги
  • Доклады на конференциях
  • Тезисы докладов
  • Патенты

Статьи (32)

# Публикация
21 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
22 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
23 Goncharov S. , Sviridenko D.
Semantic Modeling and Hybrid Models
В сборнике 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
24 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
25 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
26 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
27 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
28 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
29 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
30 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
31 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
32 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

  • « Назад
  • 1
  • 2
  • Вперед »
2   /  2   -  Всего 32 записей

Фильтр

Сортировка

Поле Направление

Столбцы

Сбросить