DMCA

The emptiness problem for tree automata with global constraints (2010)

by Luis Barguñó , Carles Creus , Guillem Godoy , Florent Jacquemard , Inria Saclay , Camille Vacher , France Telecom R&d
Venue:in: 25th Annual IEEE Symposium on Logic in Computer Science (LICS), IEEE Computer
Citations:9 - 3 self