277 citations to https://www.mathnet.ru/rus/sm2805
-
Juvenal Murwanashyaka, “Weak essentially undecidable theories of concatenation, part II”, Arch. Math. Logic, 63:3-4 (2024), 353
-
Laura Ciobanu, Georg Zetzsche, Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024, 1
-
В. Г. Дурнев, А. И. Зеткина, “Об уравнениях в свободных моноидах и полугруппах с ограничениями на решения”, ПДМ, 2023, № 59, 5–19
-
Stéphane Demri, Karin Quaas, Lecture Notes in Computer Science, 14281, Logics in Artificial Intelligence, 2023, 322
-
José Meseguer, “Variants and satisfiability in the infinitary unification wonderland”, Journal of Logical and Algebraic Methods in Programming, 134 (2023), 100877
-
Peter M. Higgins, Marcel Jackson, “Equationally defined classes of semigroups”, Semigroup Forum, 107:2 (2023), 459
-
Qinshi Wang, Andrew W. Appel, “A Solver for Arrays with Concatenation”, J Autom Reasoning, 67:1 (2023)
-
Kevin Lotz, Amit Goel, Bruno Dutertre, Benjamin Kiesl-Reiter, Soonho Kong, Rupak Majumdar, Dirk Nowotka, Lecture Notes in Computer Science, 13965, Computer Aided Verification, 2023, 187
-
Joel D. Day, Vijay Ganesh, Nathan Grewal, Florin Manea, “On the Expressive Power of String Constraints”, Proc. ACM Program. Lang., 7:POPL (2023), 278
-
Josselin Giet, Félix Ridoux, Xavier Rival, Lecture Notes in Computer Science, 14284, Static Analysis, 2023, 310