Cons-free programs and complexity classes between LOGSPACE and PTIME

Research output: Contribution to journalConference articlepeer-review

Programming language concepts are used to give some new perspectives on a long-standing open problem: is LOGSPACE = PTIME ?.

Original languageEnglish
JournalElectronic Proceedings in Theoretical Computer Science
Volume320
Pages (from-to)65-79
ISSN2075-2180
DOIs
Publication statusPublished - 2020
Event8th 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 202026 Apr 2020

Conference

Conference8th International Workshop on Verification and Program Transformation, VPT 2020 and 7th Workshop on Horn Clauses for Verification and Synthesis, HCVS 2020
CountryIreland
CityDublin
Period25/04/202026/04/2020

Links

ID: 250258439