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]

Authors

Carlos Camino

This author has not been identified. Look up 'Carlos Camino' in Google

Volker Diekert

This author has not been identified. Look up 'Volker Diekert' in Google

Besik Dundua

This author has not been identified. Look up 'Besik Dundua' in Google

Mircea Marin

This author has not been identified. It may be one of the following persons: Look up 'Mircea Marin' in Google

Géraud Sénizergues

This author has not been identified. Look up 'Géraud Sénizergues' in Google