Matching patterns with variables under Simon’s congruence. (English) Zbl 07930581
Bournez, Olivier (ed.) et al., Reachability problems. 17th international conference, RP 2023, Nice, France, October 11–13, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14235, 155-170 (2023).
MSC:
68Qxx