TY - RPRT TI - A New Order-theoretic Characterisation of the Polytime Computable Functions AU - Martin Avanzini AU - Naohi Eguchi AU - Georg Moser PY - 2012 UR - https://arxiv.org/abs/1201.2553 ID - 1201.2553 ER -