Date: 2015-09-07 05:28:01Computability theory Theory of computation Mathematical logic EACSL Entscheidungsproblem Complexity Computational complexity theory Algorithm Decision problem Dexter Kozen | | The Ackermann Award 2015 Anuj Dawar, Dexter Kozen, and Simona Ronchi Della Rocca Members of the Jury of the EACSL Ackermann Award Abstract The eleventh Ackermann Award is presented at CSL’15 in Berlin, Germany. This yeAdd to Reading ListSource URL: drops.dagstuhl.deDownload Document from Source Website File Size: 247,12 KBShare Document on Facebook
|