Skip to content
cs-conference-ranking.org

Citations for the test-of-time award from 1994.

Dexter Kozen

VenueBCSL
Year2014
ProceedingsCSL-LICS
DBLP recordconf/csl/Kozen14 ↗

Browse the full CSL paper archive.