Rock’n’roll computer science

Originalsprog	Engelsk
Titel	Logic and program semantics : essays dedicated to Dexter Kozen on the occasion of his 60th birthday
Redaktører	Robert L. Constable, Alexandra Silva
Antal sider	2
Forlag	Springer
Publikationsdato	2012
Sider	354-355
ISBN (Trykt)	978-3-642-29484-6
ISBN (Elektronisk)	978-3-642-29485-3
DOI	https://doi.org/10.1007/978-3-642-29485-3_33
Status	Udgivet - 2012

Navn	Lecture notes in computer science
Vol/bind	7230
ISSN	0302-9743

Adgang til dokumentet

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

}