[IEEE 2010 25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010) - Edinburgh, United Kingdom (2010.07.11-2010.07.14)] 2010 25th Annual IEEE Symposium on Logic in Computer Science - New Conditions for Taylor Varieties and CSP
Barto, Libor, Kozik, MarcinYear:
2010
Language:
english
DOI:
10.1109/LICS.2010.34
File:
PDF, 354 KB
english, 2010