Luis Barguñó
发表
Guillem Godoy,
Florent Jacquemard,
Carles Creus,
2013,
Log. Methods Comput. Sci..
Guillem Godoy,
Florent Jacquemard,
Carles Creus,
2010,
2010 25th Annual IEEE Symposium on Logic in Computer Science.
Ashish Tiwari,
Guillem Godoy,
Luis Barguñó,
2010,
Log. Methods Comput. Sci..