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
Juvenal Murwanashyaka, “Hilbert's tenth problem for term algebras with a substitution operator”, COM, 2024, 1
Daniel Turaev, “On the first order theory of plactic monoids”, Semigroup Forum, 2024
В. Г. Дурнев, А. И. Зеткина, “Об уравнениях в свободных моноидах и полугруппах с ограничениями на решения”, ПДМ, 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