Dexter Kozen
Identifiers
- Open LibraryOL6534057A
Top Subjects
- Computer algorithms (1)
- Computer science, mathematics (1)
- Computer programming (1)
Books by Dexter Kozen
Total count: 4
-
The design and analysis of algorithmsSpringer-Verlag1992-01-01
-
Dynamic LogicMIT Press2000-01-01
-
Mathematics of Program Construction7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, ProceedingsSpringer London, Limited2004-01-01
-
Logic, Language, Information, and Computation31st International Workshop, WoLLIC 2025, Porto, Portugal, July 14-17, 2025, ProceedingsSpringer2025-01-01