277 citations to https://www.mathnet.ru/rus/sm2805
-
Murphy Berzish, Joel D. Day, Vijay Ganesh, Mitja Kulczynski, Florin Manea, Federico Mora, Dirk Nowotka, Lecture Notes in Computer Science, 12847, Combinatorics on Words, 2021, 50
-
Antonina Nepeivoda, “Program Specialization as a Tool for Solving Word Equations”, Electron. Proc. Theor. Comput. Sci., 341 (2021), 42
-
José Meseguer, Lecture Notes in Computer Science, 12561, Logic-Based Program Synthesis and Transformation, 2021, 3
-
Joel D. Day, Florin Manea, “On the structure of solution-sets to regular word equations”, Theory Comput Syst, 2021
-
Lars Kristiansen, Juvenal Murwanashyaka, “First-order concatenation theory with bounded quantifiers”, Arch. Math. Logic, 60:1-2 (2021), 77
-
Albert Garreta, Robert D. Gray, “On equations and first-order theory of one-relator monoids”, Information and Computation, 281 (2021), 104745
-
Igor Sheremet, 2021 International Conference on Information Technology and Nanotechnology (ITNT), 2021, 1
-
B. S. Baizhanov, B. Sh. Kulpeshov, T. S. Zambarnaya, “A.D. Taimanov and model theory in Kazakhstan”, Сиб. электрон. матем. изв., 17 (2020), 1–58
-
В. Г. Дурнев, О. В. Зеткина, А. И. Зеткина, “О «простых» алгоритмически неразрешимых фрагментах элементарной теории бесконечно порожденной свободной полугруппы”, Чебышевский сб., 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)