Dexter Kozen

No bio available. Add one in Open Library.

Books by Dexter Kozen (50 max)

+ shelf+ list

Dynamic Logic

2000

David Harel, Dexter Kozen, Jerzy Tiuryn

+ shelf+ list

Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings (Lecture Notes in Computer Science)

2004

Dexter Kozen

+ shelf+ list

The design and analysis of algorithms

1992

Dexter Kozen