2012 | OriginalPaper | Chapter
An Appreciation of Dexter Kozen
Author : Rohit Parikh
Published in: Logic and Program Semantics
Publisher: Springer Berlin Heidelberg
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
I met Dexter Kozen in October 1979 at the FOCS meeting in Puerto Rico where he gave a paper on the semantics of probabilistic programs. The main reason for our discussion at that meeting was the fact that he was the referee of a paper which I had submitted to
Theoretical Computer Science - TCS
with Albert Meyer as editor.