Kozen, Dexter C., 1951-....
![Sudoc [ABES], France](/viaf/images/flags/SUDOC.png "Sudoc [ABES], France")
Kozen, Dexter, 1951-
Kozen, Dexter C.
Kozen, Dexter
Dexter Kozen American computer scientist
Kozen, Dexter (Dexter C.), 1951-
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
-
100 1 _
‡a
Kozen, Dexter
-
100 1 _ ‡a Kozen, Dexter C
-
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 _ ‡a Kozen, Dexter C., ‡d 1951-
-
100 1 _
‡a
Kozen, Dexter C.,
‡d
1951-....
-
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 0
‡a
Kozen, Dexter,
‡d
1951-
-
100 1 _ ‡a Kozen, Dexter, ‡d 1951-
-
100 1 _ ‡a Kozen, Dexter, ‡d 1951-
4xx's: Alternate Name Forms (21)
Works
| Title | Sources |
|---|---|
| Algebras of Relations : from algorithms to formal proofs |
|
| Algèbres de relations : des algorithmes aux preuves formelles. |
|
| Automata and computability |
|
| The Böhm–Jacopini Theorem Is False, Propositionally |
|
| Cantor meets scott: semantic foundations for probabilistic networks |
|
| Complexity of finitely presented algebras |
|
| The design and analysis of algorithms |
|
| Dynamic logic |
|
| LICS'95 : selection of papers |
|
| Logic and program semantics essays dedicated to Dexter Kozen on the occasion of his 60th birthday |
|
| 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 |
|
| On Moessner’s Theorem |
|
| On parallelism in turing machines |
|
| On the completeness of propositional Hoare logic |
|
| Results on the propositional μ-calculus |
|
| Tenth annual IEEE Symposium on Logic in Computer Science : June 26-29, 1995, San Diego, California : proceedings |
|
| Theory of computation |
|
