An arithmetic for non-size-increasing polynomial-time computation (0)

by K Aehlig, U Berger, M Hoffmann, H Schwichtenberg
Venue:Theoretical Computer Science