The Ackermann Award 2012.

DOI10.4230/LIPIcs.CSL.2012.1zbMath1252.03002OpenAlexW2757055016MaRDI QIDQ4649531

Anuj Dawar, Thierry Coquand, Damian Niwinski

Publication date: 22 November 2012

Full work available at URL: https://drops.dagstuhl.de/opus/volltexte/2012/3657/

zbMATH Keywords

Ackermann Award 2012

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 2012.