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
Stéphane Demri, Karin Quaas, Lecture Notes in Computer Science, 14281, Logics in Artificial Intelligence, 2023, 322
José 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, Félix Ridoux, Xavier Rival, Lecture Notes in Computer Science, 14284, Static Analysis, 2023, 310