The Ackermann Award 2015

Anuj Dawar, Dexter Kozen, Simona Ronchi Della Rocca, Marc Herbstritt
2015 Annual Conference for Computer Science Logic  
doi:10.4230/lipics.csl.2015.xv dblp:conf/csl/DawarKR15 fatcat:3jqjc6iravdi5lfj6usfa7b6ly