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 ScienceSpringer-Verlag1982-05-01
The design and analysis of algorithmsSpringer-Verlag1992-01-01-
ProceedingsIEEE 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 computabilitySpringer1997-01-01
Dynamic Logic (Foundations of Computing)1st editionThe MIT Press2000-10-02
Dynamic Logic (Foundations of Computing)1st editionThe MIT Press2000-10-02