Kozen, Dexter C., 1951-....
![Sudoc [ABES], France](/viaf/images/flags/SUDOC.png "Sudoc [ABES], France")
Kozen, Dexter, 1951-
Kozen, Dexter C.
Kozen, Dexter (Dexter C.), 1951-
Kozen, Dexter
VIAF ID: 25829033 (Personal)
Permalink: http://viaf.org/viaf/25829033
ISNI-test: 0000 0001 0960 7173
Preferred Forms
-
100 1 _
‡a
Kozen, Dexter C.,
‡d
1951-....
-
100 1 _ ‡a Kozen, Dexter ‡q (Dexter C.), ‡d 1951-
-
100 1 _ ‡a Kozen, Dexter C. ‡d (1951- ).
-
100 1 0
‡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.
(undifferentiated)
(sparse)
-
100 1 _ ‡a Kozen, Dexter C., ‡d 1951-
-
200 _ |
‡a
Kozen
‡b
Dexter C.
-
100 1 _
‡a
Kozen, Dexter
-
100 1 _
‡a
Kozen, Dexter C.
-
100 1 _ ‡a Kozen, Dexter C., ‡d 1951-
4xx's: Alternate Name Forms (8)
Selected Titles
- The design and analysis of algorithms
(7)
- Logics of programs : workshop, Yorktown Heights, New York, May 1981
(6)
- Logics of programs : workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983
(5)
- Automata and computability
(5)
- Mathematics of program construction 7th international conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004 : proceedings
(4)
- Theory of computation
(3)
- Dynamic logic
(3)
- MPC 2004
(2)
- The design and analysis of algorithms, 1991:
(1)
- Tenth annual IEEE Symposium on Logic in Computer Science : June 26-29, 1995, San Diego, California : proceedings
(1)
