Tree Evaluation is in Space O(log n · log log n)

James Cook, Ian Mertz. Tree Evaluation is in Space O(log n · log log n). Electronic Colloquium on Computational Complexity (ECCC), TR23, 2023. [doi]

Abstract

Abstract is missing.