Kozen, Dexter C., 1951-....
Kozen, Dexter, 1951-
Kozen, Dexter
Kozen, Dexter (Dexter C.), 1951-
Kozen, Dexter C.
Dexter Kozen American computer scientist
VIAF ID: 25829033 (Personal)
Permalink: http://viaf.org/viaf/25829033
Preferred Forms
-
100 0 _ ‡a Dexter Kozen ‡c American computer scientist
-
200 _ | ‡a Kozen ‡b Dexter C.
-
-
-
100 1 _ ‡a Kozen, Dexter C. ‡d 1951-...
-
-
-
100 1 _ ‡a Kozen, Dexter C., ‡d 1951-....
-
100 1 _ ‡a Kozen, Dexter ‡d 1951-
-
-
-
-
100 1 0 ‡a Kozen, Dexter, ‡d 1951-
4xx's: Alternate Name Forms (16)
Works
Title | Sources |
---|---|
Algebras of Relations : from algorithms to formal proofs |
![]() |
Algèbres de relations : des algorithmes aux preuves formelles. |
![]() |
Automata and computability |
![]() ![]() ![]() ![]() ![]() ![]() ![]() |
The design and analysis of algorithms |
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
Dynamic logic |
![]() ![]() ![]() ![]() ![]() |
LICS 1995 : completed version of some papers |
![]() |
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 |
![]() ![]() |
Tenth annual IEEE Symposium on Logic in Computer Science : June 26-29, 1995, San Diego, California : proceedings |
![]() ![]() |
Theory of computation |
![]() ![]() ![]() ![]() ![]() |