The Structure of In-Place Space-Bounded Computation

James Cook, Surendra Ghentiyala, Ian Mertz +2

In the standard model of computing multi-output functions in logspace ($\mathsf{FL}$), we are given a read-only tape holding $x$ and a logarithmic length worktape, and must print $…