Skip to content

The Ackermann award 2014.

Anuj Dawar

VenueBCSL
Year2014
ProceedingsCSL-LICS

Browse the full CSL paper archive.