В. Г. Дурнев, О. В. Зеткина, А. И. Зеткина, “О «простых» алгоритмически неразрешимых фрагментах элементарной теории бесконечно порожденной свободной полугруппы”, Чебышевский сб., 21:4 (2020), 56–71
GLEB POGUDIN, THOMAS SCANLON, MICHAEL WIBMER, “SOLVING DIFFERENCE EQUATIONS IN SEQUENCES: UNIVERSALITY AND UNDECIDABILITY”, Forum of Mathematics, Sigma, 8 (2020)
Olivier Bournez, Gilles Dowek, Rémi Gilleron, Serge Grigorieff, Jean-Yves Marion, Simon Perdrix, Sophie Tison, A Guided Tour of Artificial Intelligence Research, 2020, 1
V G Durnev, O V Zetkina, A I Zetkina, “On “simple” undecidable fragments of positive and elementary theories of free semigroups of finite or countable rank”, J. Phys.: Conf. Ser., 1479:1 (2020), 012061
V. G. Durnev, O. V. Zetkina, A. I. Zetkina, “On ‘‘Simple" Undecidable Fragments of the Positive Theory of a Free Semigroup”, Lobachevskii J Math, 41:9 (2020), 1647
Minh-Thai Trinh, Duc-Hiep Chu, Joxan Jaffar, “Inter-theory dependency analysis for SMT string solvers”, Proc. ACM Program. Lang., 4:OOPSLA (2020), 1
Igor Sheremet, Introduction to Data Science and Machine Learning, 2020
V G Durnev, O V Zetkina, A I Zetkina, “On the equations with constraints in free groups”, J. Phys.: Conf. Ser., 1202 (2019), 012019
Helmut Seidl, Raphaela Palenta, Sebastian Maneth, Lecture Notes in Computer Science, 11425, Foundations of Software Science and Computation Structures, 2019, 488
Sanjay Jain, Alexei Miasnikov, Frank Stephan, “The complexity of verbal languages over groups”, Journal of Computer and System Sciences, 101 (2019), 68