Journal: Computability

Volume 11, Issue 1

1 -- 8Pace P. Nielsen. Definitional schemes for primitive recursive and computable functions
9 -- 39Sam Sanders. Countable sets versus sets that are countable in reverse mathematics
41 -- 56Merlin Carl. Space-bounded OTMs and REG∞
57 -- 83Martin Vu, Henning Fernau. Insertion-deletion systems with substitutions I