Logical and complexity-theoretic aspects of models of computation with restricted access to arrays
(2009)
Journal Article
Stewart, I. (2009). Logical and complexity-theoretic aspects of models of computation with restricted access to arrays. Journal of Logic and Computation, 19(1), 217-242. https://doi.org/10.1093/logcom/exn025
We study a class of program schemes, NPSB, in which, aside from basic assignments, non-deterministic guessing and while loops, we have access to arrays; but where these arrays are binary write-once in that they are initialized to 'zero' and can only... Read More about Logical and complexity-theoretic aspects of models of computation with restricted access to arrays.