The Ackermann Award 2016

DOI10.4230/LIPIcs.CSL.2016.1zbMath1370.03005OpenAlexW2760114230MaRDI QIDQ5278391

Anuj Dawar, Thierry Coquand

Publication date: 19 July 2017

Full work available at URL: https://drops.dagstuhl.de/opus/volltexte/2016/6541/pdf/LIPIcs-CSL-2016-1.pdf/

zbMATH Keywords

computer sciencelogicAckermann Award

Mathematics Subject Classification ID

Logic in computer science (03B70) History of mathematical logic and foundations (03-03) History of computer science (68-03) History of mathematics and mathematicians (01A99)

This page was built for publication: The Ackermann Award 2016