Regular matching problems for infinite trees

Carlos Camino, Volker Diekert, Besik Dundua, Mircea Marin, GĂ©raud SĂ©nizergues. Regular matching problems for infinite trees. Logical Methods in Computer Science, 18(1), 2022. [doi]

Abstract

Abstract is missing.