Ackermann’s substitution method (remixed)☆
Under an Elsevier user license
open archive
Keywords
Epsilon substitution method
Provably recursive functions
Cited by (0)
- ☆
Work partially supported by Marie Curie grant no. HPMF-CT-2002-015777.
Copyright © 2006 Elsevier B.V. All rights reserved.