Dexter Kozen

Born 1951-01-01

Identifiers

Open LibraryOL540185A

Top Subjects

Computer Science (3)
Computer Programming (3)
Computers (3)
Computer Logic (3)
Logic Design (2)
Formal methods (Computer science) (2)
Mathematical theory of computation (2)

Books by Dexter Kozen

Total count: 7

Logics of ProgramsLecture Notes in Computer Science

Springer-Verlag1982-05-01
The design and analysis of algorithms

Springer-Verlag1992-01-01
Proceedings

IEEE Computer Society Press1995-01-01
Tenth Annual IEEE Symposium on Logic in Computer ScienceProceedings, June 26-29, 1995, San Diego, California (Symposium on Logic in Computer Science//Proceedings)

IEEE Computer Society Press1995-06-01
Automata and computability

Springer1997-01-01
Dynamic Logic (Foundations of Computing)1st edition

The MIT Press2000-10-02
Dynamic Logic (Foundations of Computing)1st edition

The MIT Press2000-10-02