[IEEE 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Kyoto, Japan (2015.7.6-2015.7.10)] 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science - Regularity Preserving but Not Reflecting Encodings
Endrullis, Jorg, Grabmayer, Clemens, Hendriks, DimitriYear:
2015
Language:
english
DOI:
10.1109/lics.2015.56
File:
PDF, 306 KB
english, 2015