(Q5268410)
Statements
2 references
1 reference
2016
For groundbreaking contributions to topics ranging from computational complexity, to the analysis of algebraic computations, to logics of programs and verification. (English)
2003
1 reference
2
0 references
Identifiers
1 reference
Sitelinks
Wikipedia(3 entries)
- dewiki Dexter Kozen
- enwiki Dexter Kozen
- frwiki Dexter Kozen