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

publication post of dblp

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)

discussion

(0)

resources (URL, PDF, ...)

URL:http://dblp.uni-trier.de/db/conf/birthday/kozen2012.html#Harel12
internal link:
?
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.
BibTeX key:conf/birthday/Harel12
BibSonomy is offered by the KDE group of the University of Kassel, the DMIR group of the University of Würzburg, and the L3S Research Center, Germany. Privacy & Terms of Use - Contact