Dexter Kozen: A Winning Combination of Brilliance, Depth, and Elegance.

David Harel. Logic and Program Semantics, volume 7230 of Lecture Notes in Computer Science, page 326-327. Springer, (2012)

Links and resources

You can use this internal link to create references to this post in your discussions. Just copy this internal link and paste it in your discussion text.

Comments or reviews  

There is no review or comment yet. You can write one!


Cite this publication