Rock’n’roll computer science
Research output: Chapter in Book/Report/Conference proceeding › Comment › Communication
| 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 |
|
| Publication status | Published - 2012 |
| Series | Lecture notes in computer science |
|---|---|
| Volume | 7230 |
| ISSN | 0302-9743 |
ID: 46385272