About this scholarly article

Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '16 - Church Meets Cook and Levin by Mazza, Damiano is a scholarly article available to read on EtoBox.

Author

Mazza, Damiano

Publisher

ACM Press

Published

2016