Cons-free programs and complexity classes between LOGSPACE and PTIME
Research output: Contribution to journal › Conference article › peer-review
Programming language concepts are used to give some new perspectives on a long-standing open problem: is LOGSPACE = PTIME ?.
Original language | English |
---|---|
Journal | Electronic Proceedings in Theoretical Computer Science |
Volume | 320 |
Pages (from-to) | 65-79 |
ISSN | 2075-2180 |
DOIs | |
Publication status | Published - 2020 |
Event | 8th International Workshop on Verification and Program Transformation, VPT 2020 and 7th Workshop on Horn Clauses for Verification and Synthesis, HCVS 2020 - Dublin, Ireland Duration: 25 Apr 2020 → 26 Apr 2020 |
Conference
Conference | 8th International Workshop on Verification and Program Transformation, VPT 2020 and 7th Workshop on Horn Clauses for Verification and Synthesis, HCVS 2020 |
---|---|
Country | Ireland |
City | Dublin |
Period | 25/04/2020 → 26/04/2020 |
Links
- https://arxiv.org/pdf/2008.02932v1.pdf
Final published version
ID: 250258439