ID:DA02211787
Kozen, Dexter C
Kozen, D. C
Kozen, Dexter Campbell
Search authors sharing the same name
Dexter C. Kozen
Springer London 2010 Texts in computer science
: [pbk.]
Available at 2 libraries
Springer c2006 Texts in computer science
Available at 20 libraries
David Harel, Dexter Kozen, Jerzy Tiuryn
MIT Press 2000 MIT Press series in the foundations of computing
Available at 31 libraries
Springer c1997 Undergraduate texts in computer science
: pbk.
Available at 47 libraries
Springer-Verlag c1992 Texts and monographs in computer science
: us , : gw
Available at 41 libraries
edited by Edmund Clarke and Dexter Kozen
Springer-Verlag 1984 Lecture notes in computer science 164
: gw , : us
Available at 54 libraries
edited by Dexter Kozen
Springer-Verlag 1982 Lecture notes in computer science 131
Available at 57 libraries
by Dexter Campbell Kozen
University Microfilms International 1977
Available at 1 libraries