Rock'n'Roll Computer Science. Henglein, F. In Constable, R. L. & Silva, A., editors, Logic and Program Semantics, volume 7230, of Lecture Notes in Computer Science, pages 354-355, 2012. Springer.
Link
Paper bibtex @inproceedings{conf/birthday/Henglein12,
added-at = {2017-05-23T00:00:00.000+0200},
author = {Henglein, Fritz},
biburl = {https://www.bibsonomy.org/bibtex/23c44858295b34e34ff80c03c7ce9fcc9/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_33},
interhash = {3e3b94e8044b659b09d22c87c2dc1d8e},
intrahash = {3c44858295b34e34ff80c03c7ce9fcc9},
isbn = {978-3-642-29484-6},
keywords = {dblp},
pages = {354-355},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2019-05-15T12:20:30.000+0200},
title = {Rock'n'Roll Computer Science.},
url = {http://dblp.uni-trier.de/db/conf/birthday/kozen2012.html#Henglein12},
volume = 7230,
year = 2012
}
Downloads: 0
{"_id":"FvGvrwWR7t6BwF6xS","bibbaseid":"henglein-rocknrollcomputerscience-2012","authorIDs":[],"author_short":["Henglein, F."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2017-05-23T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Henglein"],"firstnames":["Fritz"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/23c44858295b34e34ff80c03c7ce9fcc9/dblp","booktitle":"Logic and Program Semantics","crossref":"conf/birthday/2012kozen","editor":[{"propositions":[],"lastnames":["Constable"],"firstnames":["Robert","L."],"suffixes":[]},{"propositions":[],"lastnames":["Silva"],"firstnames":["Alexandra"],"suffixes":[]}],"ee":"https://doi.org/10.1007/978-3-642-29485-3_33","interhash":"3e3b94e8044b659b09d22c87c2dc1d8e","intrahash":"3c44858295b34e34ff80c03c7ce9fcc9","isbn":"978-3-642-29484-6","keywords":"dblp","pages":"354-355","publisher":"Springer","series":"Lecture Notes in Computer Science","timestamp":"2019-05-15T12:20:30.000+0200","title":"Rock'n'Roll Computer Science.","url":"http://dblp.uni-trier.de/db/conf/birthday/kozen2012.html#Henglein12","volume":"7230","year":"2012","bibtex":"@inproceedings{conf/birthday/Henglein12,\n added-at = {2017-05-23T00:00:00.000+0200},\n author = {Henglein, Fritz},\n biburl = {https://www.bibsonomy.org/bibtex/23c44858295b34e34ff80c03c7ce9fcc9/dblp},\n booktitle = {Logic and Program Semantics},\n crossref = {conf/birthday/2012kozen},\n editor = {Constable, Robert L. and Silva, Alexandra},\n ee = {https://doi.org/10.1007/978-3-642-29485-3_33},\n interhash = {3e3b94e8044b659b09d22c87c2dc1d8e},\n intrahash = {3c44858295b34e34ff80c03c7ce9fcc9},\n isbn = {978-3-642-29484-6},\n keywords = {dblp},\n pages = {354-355},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n timestamp = {2019-05-15T12:20:30.000+0200},\n title = {Rock'n'Roll Computer Science.},\n url = {http://dblp.uni-trier.de/db/conf/birthday/kozen2012.html#Henglein12},\n volume = 7230,\n year = 2012\n}\n\n","author_short":["Henglein, F."],"editor_short":["Constable, R. L.","Silva, A."],"key":"conf/birthday/Henglein12","id":"conf/birthday/Henglein12","bibbaseid":"henglein-rocknrollcomputerscience-2012","role":"author","urls":{"Link":"https://doi.org/10.1007/978-3-642-29485-3_33","Paper":"http://dblp.uni-trier.de/db/conf/birthday/kozen2012.html#Henglein12"},"keyword":["dblp"],"downloads":0},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/fritz?items=1000","creationDate":"2019-07-04T22:53:30.272Z","downloads":0,"keywords":["dblp"],"search_terms":["rock","roll","computer","science","henglein"],"title":"Rock'n'Roll Computer Science.","year":2012,"dataSources":["P8qTtTCTHaCFodAoX"]}