Sergey Goncharov, Andrey Nechesov, “Polynomial-Computable Representation of Neural Networks in Semantic Programming”, J, 6:1 (2023), 48
E.E. Vityaev, S.S. Goncharov, D.I. Sviridenko, “Task-driven approach to artificial intelligence”, Cognitive Systems Research, 81 (2023), 50
А. В. Нечёсов, “Некоторые вопросы полиномиально вычислимых представлений для порождающих грамматик и форм Бэкуса – Наура”, Матем. тр., 25:1 (2022), 134–151
А. В. Нечёсов, “Семантическое программирование и полиномиально вычислимые представления”, Матем. тр., 25:2 (2022), 174–202 ; A. V. Nechesov, “Semantic programming and polynomially computable representations”, Siberian Adv. Math., 33:1 (2023), 66–85
A. V. Nechesov, “Some Questions on Polynomially Computable Representations for Generating Grammars and Backus–Naur Forms”, Sib. Adv. Math., 32:4 (2022), 299
S. Goncharov, A. Nechesov, “Polynomial analogue of Gandy's fixed point theorem”, Mathematics, 9:17 (2021), 2102
Sergey Goncharov, Andrey Nechesov, “Solution of the Problem P = L”, Mathematics, 10:1 (2021), 113
A. V. Mantsivoda, D. K. Ponomaryov, “On termination of transactions over semantic document models”, Известия Иркутского государственного университета. Серия Математика, 31 (2020), 111–131
S. Goncharov, S. Ospichev, D. Ponomaryov, D. Sviridenko, “The expressiveness of looping terms in the semantic programming”, Сиб. электрон. матем. изв., 17 (2020), 380–394
Nikolay Bazhenov, Lecture Notes in Computer Science, 12159, Computer Science – Theory and Applications, 2020, 142