文章基本信息
- 标题：The Ackermann Award 2012
- 本地全文：下载
- 作者：Thierry Coquand ; Anuj Dawar ; Damian Niwinski 等
- 期刊名称：LIPIcs : Leibniz International Proceedings in Informatics
- 电子版ISSN：1868-8969
- 出版年度：2012
- 卷号：16
- 页码：1-5
- DOI：10.4230/LIPIcs.CSL.2012.1
- 出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
- 摘要：Report on the Ackermann Award 2012.
- 关键词：Ackermann Award 2012
