[IEEE 2012 27th Annual IEEE Symposium on Logic in Computer Science (LICS 2012) - Dubrovnik, Croatia (2012.06.25-2012.06.28)] 2012 27th Annual IEEE Symposium on Logic in Computer Science - Lower Bounds for Existential Pebble Games and k-Consistency Tests
Berkholz, ChristophYear:
2012
Language:
english
DOI:
10.1109/LICS.2012.14
File:
PDF, 326 KB
english, 2012