Dexter Kozen’s Followers (1)

Dexter Kozen

Combine Editions
Dexter Kozen’s books

Average rating: 4.17 · 6 ratings · 0 reviews · 10 distinct works

	OCaml Programming: Correct + Efficient + Beautiful by Michael R. Clarkson, Robert L. Constable, Nate Foster 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) 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) 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 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 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 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

More books by Dexter Kozen…

Quotes by Dexter Kozen (?)

“Shadows of a thousand years rise again unseen,
Voices whisper in the trees, Tonight is Halloween!”
― Dexter Kozen

43 likes

Is this you? Let us know. If not, help out and invite Dexter to Goodreads.

Dexter Kozen’s Followers (1)

Dexter Kozen

Combine EditionsDexter Kozen’s books

Combine Editions
Dexter Kozen’s books