Programs for Cheap!
From MaRDI portal
Publication:4635797
DOI10.1109/LICS.2015.21zbMath1401.68041MaRDI QIDQ4635797
Publication date: 23 April 2018
Published in: 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (1)
Uses Software
This page was built for publication: Programs for Cheap!