[ACM Press the 31st Annual ACM/IEEE Symposium - New York,...

  • Main
  • [ACM Press the 31st Annual ACM/IEEE...

[ACM Press the 31st Annual ACM/IEEE Symposium - New York, NY, USA (2016.07.05-2016.07.08)] Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '16 - Unified Semantics and Proof System for Classical, Intuitionistic and Affine Logics

Liang, Chuck
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Year:
2016
Language:
english
DOI:
10.1145/2933575.2933581
File:
PDF, 281 KB
english, 2016
Conversion to is in progress
Conversion to is failed