[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 - Computable decision making on the reals and other spaces
Sherman, Benjamin, Sciarappa, Luke, Chlipala, Adam, Carbin, MichaelYear:
2018
Language:
english
DOI:
10.1145/3209108.3209193
File:
PDF, 767 KB
english, 2018