Dexter Kozen (Q5268410)
American computer scientist
- Dexter Campbell Kozen
- Dexter C. Kozen
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Dexter Kozen |
American computer scientist |
|
Statements
1 reference
1 reference
2016
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
1 reference
1 reference
1 reference
1 reference
Sitelinks
Wikipedia(3 entries)
- dewiki Dexter Kozen
- enwiki Dexter Kozen
- frwiki Dexter Kozen