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

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

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

Links and resources

URL:
BibTeX key:
conf/birthday/Harel12
search on:

Comments and Reviews  
(0)

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

Tags


Cite this publication