Algebra and Logic
Article
Oitavem,I
ARCHIVE FOR MATHEMATICAL LOGIC
2002
41
1
35-47
10.1007/s001530100102
A term rewriting characterization of the functions computable in polynomial space
NOVA Math > NOVA Math > NOVA Math Publications > A term rewriting characterization of the functions computable in polynomial space