An appreciation of dexter kozen

Authors:
Rohit Parikh
Affiliations:
-
Venue:
Logic and Program Semantics
Year:
2012

Citing 7
Cited 0

On Context-Free Languages

Journal of the ACM (JACM)
Alternation

Journal of the ACM (JACM)
Propositional Dynamic Logics of Programs: a Survey

Logic of Programs, Workshop
A Decision Procedure for the Propositional µ-Calculus

Proceedings of the Carnegie Mellon Workshop on Logic of Programs
Parikh's Theorem in Commutative Kleene Algebra

LICS '99 Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science
A practical decision method for propositional dynamic logic (Preliminary Report)

STOC '78 Proceedings of the tenth annual ACM symposium on Theory of computing
Semantical consideration on floyo-hoare logic

SFCS '76 Proceedings of the 17th Annual Symposium on Foundations of Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.