The Ackermann Award 2016
Paper i proceeding, 2016
Ackermann award
Computer science
Logic
Författare
Thierry Coquand
Göteborgs universitet
Anuj Dawar
University of Cambridge
Leibniz International Proceedings in Informatics, LIPIcs
18688969 (ISSN)
Vol. 62978-395977022-4 (ISBN)
Ämneskategorier
Annan data- och informationsvetenskap
DOI
10.4230/LIPIcs.CSL.2016.1