Rigid tree automata and applications

Florent Jacquemard, Francis Klay, Camille Vacher. Rigid tree automata and applications. Inf. Comput., 209(3):486-512, 2011. [doi]

Abstract

Abstract is missing.