Kozen, Dexter, 1951-
Enlarge text Shrink text-
Personality
|
מספר מערכת
987007452269905171
Information for Authority record
Name (Latin)
Kozen, Dexter, 1951-
Date of birth
1951-12-20
Gender
male
MARC
MARC
Other Identifiers
Sources of Information
- Logics of Programs Workshop (1981 : Yorktown Heights, N.Y.) Logics of Programs Workshop, 1982 (a.e.)CIP t.p. (Dexter Kozen) data sht. (b. 12/20/51)
- His The design and analysis of algorithms, 1991:CIP t.p. (Dexter C. Kozen)
Wikipedia description:
Dexter Campbell Kozen (born December 20, 1951) is an American theoretical computer scientist. He is Professor Emeritus and Joseph Newton Pew, Jr. Professor in Engineering at Cornell University.
Read more on Wikipedia >