Number of documents

2


"Luis Barguñó"   

Journal articles1 document

Conference papers1 document

  • Luis Barguñó, Carlos Creus, Guillem Godoy, Florent Jacquemard, Camille Vacher. The Emptiness Problem for Tree Automata with Global Constraints. 25th Annual IEEE Symposium on Logic in Computer Science (LICS), Jul 2010, Edinburgh, Scotland, United Kingdom. pp.263-272, ⟨10.1109/LICS.2010.28⟩. ⟨inria-00578901⟩