The Emptiness Problem for Tree Automata with Global Constraints.

Luis Bargu, Carles Creus, Guillem Godoy, Florent Jacquemard, Camille Vacher

Browse the full LICS paper archive.