Books by Dexter Kozen

Dexter Kozen
Average rating 4.17 · 6 ratings · 0 reviews · shelved 43 times

Showing 8 distinct works.

	OCaml Programming: Correct + Efficient + Beautiful by Michael R. Clarkson, Robert L. Constable, Nate Foster, Michael D. George 4.33 avg rating — 3 ratings — published 2022	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Dynamic Logic by David Harel, Dexter Kozen, Jerzy Tiuryn 3.50 avg rating — 2 ratings — published 2000 — 4 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Design and Analysis of Algorithms (Texts and Monographs in Computer Science) by Dexter Kozen it was amazing 5.00 avg rating — 1 rating	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Logics of Programs: Workshop, Yorktown Heights, NY, USA (Lecture Notes in Computer Science, 131) by Dexter Kozen (Editor) 0.00 avg rating — 0 ratings — published 1982 — 3 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Tenth Annual IEEE Symposium on Logic in Computer Science: Proceedings, June 26-29, 1995, San Diego, California by Dexter Kozen (Editor) 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings by Dexter Kozen (Editor) 0.00 avg rating — 0 ratings — published 2004 — 2 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Logic, Language, Information, and Computation: 31st International Workshop, WoLLIC 2025, Porto, Portugal, July 14–17, 2025, Proceedings (Lecture Notes in Computer Science) by Dexter Kozen (Editor), Ruy de Queiroz (Editor) 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Proceedings by Dexter Kozen 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars

* Note: these are all the books on Goodreads for this author. To add more books, click here.