BC-ε : A Recursion-Theoretic Characterization of LOGSPACE

@inproceedings{Neergaard2004BCA,
  title={BC-ε : A Recursion-Theoretic Characterization of LOGSPACE},
  author={Peter M\oller Neergaard},
  year={2004}
}
We present BCε which is a function algebra that is sound and complete for LOGSPACE. It is based on the novel recursion-theoretic principle of generalized recursion where the step length of primitive recursion can be varied at each step. This allows elegant representations of functions like logarithm and division. Unlike characterizations found in the… CONTINUE READING