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