Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/birthday/Halpern12
%A Halpern, Joseph Y.
%B Logic and Program Semantics
%D 2012
%E Constable, Robert L.
%E Silva, Alexandra
%I Springer
%K dblp
%P 324-325
%T Dexter Kozen: An Appreciation.
%U http://dblp.uni-trier.de/db/conf/birthday/kozen2012.html#Halpern12
%V 7230
%@ 978-3-642-29484-6
@inproceedings{conf/birthday/Halpern12,
added-at = {2017-05-23T00:00:00.000+0200},
author = {Halpern, Joseph Y.},
biburl = {https://www.bibsonomy.org/bibtex/29f40fd9dc66141b25b79956283325e17/dblp},
booktitle = {Logic and Program Semantics},
crossref = {conf/birthday/2012kozen},
editor = {Constable, Robert L. and Silva, Alexandra},
ee = {https://doi.org/10.1007/978-3-642-29485-3_23},
interhash = {0d9caa9756cc26f8e190ca1fa65bd73a},
intrahash = {9f40fd9dc66141b25b79956283325e17},
isbn = {978-3-642-29484-6},
keywords = {dblp},
pages = {324-325},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2019-05-15T12:20:30.000+0200},
title = {Dexter Kozen: An Appreciation.},
url = {http://dblp.uni-trier.de/db/conf/birthday/kozen2012.html#Halpern12},
volume = 7230,
year = 2012
}