Back to Search
Start Over
Rock’n’roll computer science
- Source :
- 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 . Springer , Lecture notes in computer science , vol. 7230 , pp. 354-355 .
- Publication Year :
- 2012
Details
- Database :
- OAIster
- Journal :
- 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 . Springer , Lecture notes in computer science , vol. 7230 , pp. 354-355 .
- Notes :
- English
- Publication Type :
- Electronic Resource
- Accession number :
- edsoai.on1322631696
- Document Type :
- Electronic Resource