文章基本信息

标题：The Ackermann Award 2018
本地全文：下载
作者：Dexter Kozen ; Thomas Schwentick
期刊名称：LIPIcs : Leibniz International Proceedings in Informatics
电子版ISSN：1868-8969
出版年度：2018
卷号：119
页码：1-5
DOI：10.4230/LIPIcs.CSL.2018.1
出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
摘要：The Ackermann Award is the EACSL Outstanding Dissertation Award for Logic in Computer Science. It is presented during the annual conference of the EACSL (CSL'xx). This contribution reports on the 2018 edition of the award.
关键词：Ackermann Award