Cons-free programs and complexity classes between LOGSPACE and PTIME

Publikation: Bidrag til tidsskriftKonferenceartikelfagfællebedømt

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

OriginalsprogEngelsk
TidsskriftElectronic Proceedings in Theoretical Computer Science
Vol/bind320
Sider (fra-til)65-79
ISSN2075-2180
DOI
StatusUdgivet - 2020
Begivenhed8th International Workshop on Verification and Program Transformation, VPT 2020 and 7th Workshop on Horn Clauses for Verification and Synthesis, HCVS 2020 - Dublin, Irland
Varighed: 25 apr. 202026 apr. 2020

Konference

Konference8th International Workshop on Verification and Program Transformation, VPT 2020 and 7th Workshop on Horn Clauses for Verification and Synthesis, HCVS 2020
LandIrland
ByDublin
Periode25/04/202026/04/2020

Links

ID: 250258439