Complexity hierarchies and higher-order cons-free term rewriting
Research output: Contribution to journal › Journal article › Research › peer-review
Documents
- Kop_2017_Complexity_hierarchies
Final published version, 567 KB, PDF document
Original language | English |
---|---|
Article number | 8 |
Journal | Logical Methods in Computer Science |
Volume | 13 |
Issue number | 3 |
Number of pages | 29 |
ISSN | 1860-5974 |
DOIs | |
Publication status | Published - 7 Aug 2017 |
Number of downloads are based on statistics from Google Scholar and www.ku.dk
No data available
ID: 189255275