Bitte melden Sie sich an um selbst Rezensionen oder Kommentare zu erstellen.
Zitieren Sie diese Publikation
Mehr Zitationsstile
- bitte auswählen -
%0 Conference Paper
%1 conf/birthday/Harel12
%A Harel, David
%B Logic and Program Semantics
%D 2012
%E Constable, Robert L.
%E Silva, Alexandra
%I Springer
%K dblp
%P 326-327
%T Dexter Kozen: A Winning Combination of Brilliance, Depth, and Elegance.
%U http://dblp.uni-trier.de/db/conf/birthday/kozen2012.html#Harel12
%V 7230
%@ 978-3-642-29484-6
@inproceedings{conf/birthday/Harel12,
added-at = {2017-05-23T00:00:00.000+0200},
author = {Harel, David},
biburl = {https://www.bibsonomy.org/bibtex/276ed84a274b81e9ac12dda344d27fb90/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_24},
interhash = {cb6e8304140e7e6e926c853dc9ff1b25},
intrahash = {76ed84a274b81e9ac12dda344d27fb90},
isbn = {978-3-642-29484-6},
keywords = {dblp},
pages = {326-327},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2019-05-15T12:20:30.000+0200},
title = {Dexter Kozen: A Winning Combination of Brilliance, Depth, and Elegance.},
url = {http://dblp.uni-trier.de/db/conf/birthday/kozen2012.html#Harel12},
volume = 7230,
year = 2012
}