Rock’n’roll computer science

Original language	English
Title of host publication	Logic and program semantics : essays dedicated to Dexter Kozen on the occasion of his 60th birthday
Editors	Robert L. Constable, Alexandra Silva
Number of pages	2
Publisher	Springer
Publication date	2012
Pages	354-355
ISBN (Print)	978-3-642-29484-6
ISBN (Electronic)	978-3-642-29485-3
DOIs	https://doi.org/10.1007/978-3-642-29485-3_33
Publication status	Published - 2012

Series	Lecture notes in computer science
Volume	7230
ISSN	0302-9743

Access to Document

@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",

}