[IEEE 2011 26th Annual IEEE Symposium on Logic in Computer Science (LICS 2011) - Toronto, ON, Canada (2011.06.21-2011.06.24)] 2011 IEEE 26th Annual Symposium on Logic in Computer Science - Qualitative Tree Languages
Carayol, Arnaud, Hadda, Axel, Serre, OlivierYear:
2011
Language:
english
DOI:
10.1109/lics.2011.28
File:
PDF, 427 KB
english, 2011