Author

Dexter Kozen

born 1951 7 known books newest first

No author bio imported yet.

Books

OpenLibrary works by this author.

7 books
Automata and computability

Automata and computability

Year unknown
Dynamic Logic (Foundations of Computing)

Dynamic Logic (Foundations of Computing)

Year unknown
Logics of Programs

Logics of Programs

Year unknown
Logics of Programs, workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983

Logics of Programs, workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983

Year unknown Edmund Clarke and Dexter Kozen
Proceedings

Proceedings

Year unknown
Tenth Annual IEEE Symposium on Logic in Computer Science

Tenth Annual IEEE Symposium on Logic in Computer Science

Year unknown
The design and analysis of algorithms

The design and analysis of algorithms

Year unknown

Fetched from OpenLibrary. Some translations may appear as separate works.