TY - RPRT TI - A syntactical analysis of non-size-increasing polynomial time computation AU - Klaus Aehlig AU - Helmut Schwichtenberg PY - 2001 UR - https://arxiv.org/abs/cs/0011037 ID - cs/0011037 ER -