Skip to content

The Ackermann Award 2018.

Dexter Kozen, Thomas Schwentick

VenueBCSL
Year2018
ProceedingsCSL

Browse the full CSL paper archive.