Travelled to:1 × Spain
1 × United Kingdom
Collaborated with:F.Jacquemard F.Klay L.Barguñó C.Creus G.Godoy
Talks about:automata (2) tree (2) constraint (1) problem (1) global (1) rigid (1) empti (1)
Person: Camille Vacher
DBLP: Vacher:Camille
Contributed to:
2010
2009Wrote 2 papers:
- LICS-2010-BargunoCGJV #automaton #constraints #problem
- The Emptiness Problem for Tree Automata with Global Constraints (LB, CC, GG, FJ, CV), pp. 263–272.
- LATA-2009-JacquemardKV #automaton
- Rigid Tree Automata (FJ, FK, CV), pp. 446–457.