Kozen, Dexter, 1951-....
Kozen, Dexter C., 1951-
Kozen, Dexter (Dexter C.), 1951-
Kozen, Dexter C.
Kozen, Dexter
VIAF ID: 25829033 (Personal)
Permalink: http://viaf.org/viaf/25829033
Preferred Forms
-
100 1 0 ‡a Kozen, Dexter, ‡d 1951-
-
100 1 _ ‡a Kozen, Dexter C. ‡d (1951- ).
-
100 1 _ ‡a Kozen, Dexter
-
200 _ | ‡a Kozen ‡b Dexter C.
-
100 1 _ ‡a Kozen, Dexter, ‡d 1951-
-
100 1 _ ‡a Kozen, Dexter ‡d 1951-
-
100 1 _ ‡a Kozen, Dexter ‡q (Dexter C.), ‡d 1951-
-
100 1 _ ‡a Kozen, Dexter ‡d 1951-
-
100 1 _ ‡a Kozen, Dexter, ‡d 1951-....
-
100 1 _ ‡a Kozen, Dexter ‡d 1951-
-
100 1 _ ‡a Kozen, Dexter C., ‡d 1951-
4xx's: Alternate Name Forms (3)
Selected Titles
- The design and analysis of algorithms, 1991:
(6)
- Logics of Programs Workshop, Yorktown Heights, New York, May 1981
(4)
- Automata and computability
(4)
- Logics of Programs, workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983
(3)
- Dynamic logic
(3)
- Theory of computation
(2)
- Mathematics of program construction : 7th international conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004 : proceedings
(2)
- The design and analysis of algorithms
(1)
- Theory of computation
(1)
- The design and analysis of algorithms
(1)
