Cons-free Programs and Complexity Classes between LOGSPACE and PTIME

August 07, 2020 ยท The Ethereal ยท ๐Ÿ› VPT/HCVS@ETAPS

๐Ÿ”ฎ THE ETHEREAL: The Ethereal
Pure theory โ€” exists on a plane beyond code

"No code URL or promise found in abstract"

Evidence collected by the PWNC Scanner

Authors Neil D. Jones, Siddharth Bhaskar, Cynthia Kop, Jakob Grue Simonsen arXiv ID 2008.02932 Category cs.CC: Computational Complexity Cross-listed cs.PL Citations 1 Venue VPT/HCVS@ETAPS Last Checked 2 months ago
Abstract
Programming language concepts are used to give some new perspectives on a long-standing open problem: is logspace = ptime ?
Community shame:
Not yet rated
Community Contributions

Found the code? Know the venue? Think something is wrong? Let us know!

๐Ÿ“œ Similar Papers

In the same crypt โ€” Computational Complexity