Kozen, Dexter, 1951-....
![Sudoc [ABES], France](/viaf/images/flags/SUDOC.png "Sudoc [ABES], France")
Kozen, Dexter C., 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
‡d
1951-
-
100 1 _
‡a
Kozen, Dexter
-
100 1 _ ‡a Kozen, Dexter, ‡d 1951-
-
100 1 _ ‡a Kozen, Dexter C. ‡d (1951- ).
-
100 1 0
‡a
Kozen, Dexter,
‡d
1951-
-
100 1 _ ‡a Kozen, Dexter C., ‡d 1951-
-
200 _ |
‡a
Kozen
‡b
Dexter C.
-
100 1 _
‡a
Kozen, Dexter,
‡d
1951-....
-
100 1 _ ‡a Kozen, Dexter C., ‡d 1951-
-
100 1 _ ‡a Kozen, Dexter ‡q (Dexter C.), ‡d 1951-
-
100 1 _
‡a
Kozen, Dexter C.
4xx's: Alternate Name Forms (7)
Selected Titles
- The design and analysis of algorithms. -
(7)
- Logics of Programs : Workshop, Yorktown Heights, New York, May 1981
(5)
- Automata and computability
(5)
- Theory of computation
(3)
- Mathematics of program construction : 7th international conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004 : proceedings
(3)
- Logics of Programs, workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983
(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)
