[ACM Press the 33rd Annual ACM/IEEE Symposium - Oxford, United Kingdom (2018.07.09-2018.07.12)] Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '18 - Tree-depth, quantifier elimination, and quantifier rank
Chen, Yijia, Flum, JörgYear:
2018
Language:
english
DOI:
10.1145/3209108.3209160
File:
PDF, 597 KB
english, 2018