The exact hardness of deciding derivational and runtime complexity
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Documents
- Schnabl_2011_The_exact_hardness
Final published version, 643 KB, PDF document
| Original language | English |
|---|---|
| Title of host publication | Computer Science Logic (CSL'11) - 25th International Workshop/20th Annual Conference of the EACSL |
| Editors | Marc Bezem |
| Number of pages | 15 |
| Publisher | Schloss Dagstuhl - Leibniz-Zentrum für Informatik |
| Publication date | 2011 |
| Pages | 481-495 |
| ISBN (Electronic) | 978-3-939897-32-3 |
| DOIs | |
| Publication status | Published - 2011 |
| Event | 25th International Workshop on Computer Science Logic - Bergen, Norway Duration: 12 Sep 2011 → 15 Sep 2011 Conference number: 25 |
Conference
| Conference | 25th International Workshop on Computer Science Logic |
|---|---|
| Nummer | 25 |
| Land | Norway |
| By | Bergen |
| Periode | 12/09/2011 → 15/09/2011 |
| Series | Leibniz International Proceedings in Informatics |
|---|---|
| Volume | 12 |
| ISSN | 1868-8969 |
ID: 172396105