Rock’n’roll computer science
Research output: Chapter in Book/Report/Conference proceeding › Comment › Communication
Standard
Rock’n’roll computer science. / Henglein, Fritz.
Logic and program semantics: essays dedicated to Dexter Kozen on the occasion of his 60th birthday. ed. / Robert L. Constable; Alexandra Silva. Springer, 2012. p. 354-355 (Lecture notes in computer science, Vol. 7230).Research output: Chapter in Book/Report/Conference proceeding › Comment › Communication
Harvard
Henglein, F 2012, Rock’n’roll computer science. in RL Constable & A Silva (eds), Logic and program semantics: essays dedicated to Dexter Kozen on the occasion of his 60th birthday. Springer, Lecture notes in computer science, vol. 7230, pp. 354-355. https://doi.org/10.1007/978-3-642-29485-3_33
APA
Henglein, F. (2012). Rock’n’roll computer science. In R. L. Constable, & A. Silva (Eds.), Logic and program semantics: essays dedicated to Dexter Kozen on the occasion of his 60th birthday (pp. 354-355). Springer. Lecture notes in computer science Vol. 7230 https://doi.org/10.1007/978-3-642-29485-3_33
Vancouver
Henglein F. Rock’n’roll computer science. In Constable RL, Silva A, editors, Logic and program semantics: essays dedicated to Dexter Kozen on the occasion of his 60th birthday. Springer. 2012. p. 354-355. (Lecture notes in computer science, Vol. 7230). https://doi.org/10.1007/978-3-642-29485-3_33
Author
Bibtex
@inbook{0e6ca303df004800a670ba954caa056d,
title = "Rock{\textquoteright}n{\textquoteright}roll computer science",
author = "Fritz Henglein",
year = "2012",
doi = "10.1007/978-3-642-29485-3_33",
language = "English",
isbn = "978-3-642-29484-6",
series = "Lecture notes in computer science",
publisher = "Springer",
pages = "354--355",
editor = "Constable, {Robert L.} and Alexandra Silva",
booktitle = "Logic and program semantics",
address = "Switzerland",
}
RIS
TY - GEN
T1 - Rock’n’roll computer science
AU - Henglein, Fritz
PY - 2012
Y1 - 2012
U2 - 10.1007/978-3-642-29485-3_33
DO - 10.1007/978-3-642-29485-3_33
M3 - Comment
SN - 978-3-642-29484-6
T3 - Lecture notes in computer science
SP - 354
EP - 355
BT - Logic and program semantics
A2 - Constable, Robert L.
A2 - Silva, Alexandra
PB - Springer
ER -
ID: 46385272