Complexity hierarchies and higher-order cons-free rewriting
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Documents
- Kop_2016_Complexity_hierarchies
Final published version, 616 KB, PDF document
| Original language | English |
|---|---|
| Title of host publication | 1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016) |
| Editors | Delia Kesner, Brigitte Pientka |
| Number of pages | 18 |
| Publisher | Schloss Dagstuhl - Leibniz-Zentrum für Informatik |
| Publication date | 2016 |
| Article number | 23 |
| ISBN (Print) | 978-3-95977-010-1 |
| DOIs | |
| Publication status | Published - 2016 |
| Event | International Conference on Formal Structures for Computation and Deduction 2016 - Porto, Portugal Duration: 22 Jun 2016 → 26 Jun 2016 Conference number: 1 |
Conference
| Conference | International Conference on Formal Structures for Computation and Deduction 2016 |
|---|---|
| Nummer | 1 |
| Land | Portugal |
| By | Porto |
| Periode | 22/06/2016 → 26/06/2016 |
| Series | Leibniz International Proceedings in Informatics |
|---|---|
| Volume | 52 |
| ISSN | 1868-8969 |
Number of downloads are based on statistics from Google Scholar and www.ku.dk
No data available
ID: 168455874