Joel D. Day, Matthew Konefal, Lecture Notes in Computer Science, 16230, Reachability Problems, 2026, 51
František Blahoudek, Yu-Fang Chen, David Chocholatý, Vojtěch Havlena, Lukáš Holík, Ondřej Lengál, Juraj Síč, “Word equations in synergy with regular constraints (extended version)”, Constraints, 2025
Tianxiang Tang, V. A. Zakharov, “Unification Problem for Finite State Parameterized Transducers”, MoscowUniv.Comput.Math.Cybern., 49:3 (2025), 249
А. И. Зеткина, В. Г. Дурнев, “Неразрешимые фрагменты позитивных теорий свободных полугрупп”, Сиб. матем. журн., 66:5 (2025), 854–869 ; A. I. Zetkina, V. G. Durnev, “Undecidable fragments of positive theories of free semigroups”, Siberian Math. J., 66:5 (2025), 1171–1183
Matthew Hague, Artur Jeż, Anthony Widjaja Lin, Oliver Markgraf, Philipp Rümmer, “The Power of Regular Constraint Propagation”, Proc. ACM Program. Lang., 9:OOPSLA2 (2025), 3203
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
А. Н. Рыбалов, “О сложности решения уравнений над графами”, Сиб. электрон. матем. изв., 21:1 (2024), 62–69