Rock’n’roll computer science
Publikation: Bidrag til bog/antologi/rapport › Kommentar › Formidling
Standard
Rock’n’roll computer science. / Henglein, Fritz.
Logic and program semantics: essays dedicated to Dexter Kozen on the occasion of his 60th birthday. red. / Robert L. Constable; Alexandra Silva. Springer, 2012. s. 354-355 (Lecture notes in computer science, Bind 7230).Publikation: Bidrag til bog/antologi/rapport › Kommentar › Formidling
Harvard
Henglein, F 2012, Rock’n’roll computer science. i RL Constable & A Silva (red), Logic and program semantics: essays dedicated to Dexter Kozen on the occasion of his 60th birthday. Springer, Lecture notes in computer science, bind 7230, s. 354-355. https://doi.org/10.1007/978-3-642-29485-3_33
APA
Henglein, F. (2012). Rock’n’roll computer science. I R. L. Constable, & A. Silva (red.), Logic and program semantics: essays dedicated to Dexter Kozen on the occasion of his 60th birthday (s. 354-355). Springer. Lecture notes in computer science Bind 7230 https://doi.org/10.1007/978-3-642-29485-3_33
Vancouver
Henglein F. Rock’n’roll computer science. I Constable RL, Silva A, red., Logic and program semantics: essays dedicated to Dexter Kozen on the occasion of his 60th birthday. Springer. 2012. s. 354-355. (Lecture notes in computer science, Bind 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