Dmitry Sviridenko, 2019 International Multi-Conference on Engineering, Computer and Information Sciences (SIBIRCON), 2019, 0991
S. S. Goncharov, “Conditional terms in semantic programming”, Sib Math J, 58, no. 5, 2017, 794
Сергей Савостьянович Гончаров, Sergey Savostyanovich Goncharov, Игорь Андреевич Лавров, Igor Andreevich Lavrov, Виктор Данилович Мазуров, Victor Danilovich Mazurov, Аркадий Анатольевич Мальцев, Arkadii Anatol'evich Mal'tsev, Андрей Сергеевич Морозов, Andrei Sergeevich Morozov, Алексей Алексеевич Никитин, Aleksei Alekseevich Nikitin, Евгений Андреевич Палютин, Evgenii Andreevich Palyutin, Дмитрий Матвеевич Смирнов, Dmitrii Matveevich Smirnov, “Юрий Леонидович Ершов (к шестидесятилетию со дня рождения)”, УМН, 55, no. 6, 2000, 173
Yanhong A. Liu, Scott D. Stoller, 11972, Logical Foundations of Computer Science, 2020, 111
S. S. Goncharov, D. I. Sviridenko, “Logical Language of Description of Polynomial Computing”, Dokl. Math., 99, no. 2, 2019, 121
S. S. Goncharov, D. I. Sviridenko, “Recursive Terms in Semantic Programming”, Sib Math J, 59, no. 6, 2018, 1014
S. A. Aleksandrova, N. A. Bazhenov, “On Decidability of List Structures”, Sib Math J, 60, no. 3, 2019, 377
Yanhong A Liu, Scott D Stoller, “Knowledge of uncertain worlds: programming with logical constraints”, Journal of Logic and Computation, 31, no. 1, 2021, 193