DMCA

The emptiness problem for tree automata . . .

by Luis Barguñó , Carles Creus , Guillem Godoy , Florent Jacquemard , Camille Vacher