Characterizing the Grzegorczyk hierarchy by safe recursion. Wirz, M. Technical Report IAM–99–005, Universität Bern, Institut für Informatik und angewandte Mathematik, 1999.
Characterizing the Grzegorczyk hierarchy by safe recursion [pdf]Paper  bibtex   

Downloads: 0