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. Paper bibtex @TechReport{wir99a,
Author = {Marc Wirz},
Title = {Characterizing the {G}rzegorczyk hierarchy by safe
recursion},
Institution = {Universit{\"a}t Bern},
Number = {IAM{--}99{--}005},
Address = {Institut f{\"u}r Informatik und angewandte Mathematik},
url = {1999/wir99a.pdf},
year = 1999
}
Downloads: 0
{"_id":"uYAXyeKuuCL44TNFp","bibbaseid":"wirz-characterizingthegrzegorczykhierarchybysaferecursion-1999","authorIDs":[],"author_short":["Wirz, M."],"bibdata":{"bibtype":"techreport","type":"techreport","author":[{"firstnames":["Marc"],"propositions":[],"lastnames":["Wirz"],"suffixes":[]}],"title":"Characterizing the Grzegorczyk hierarchy by safe recursion","institution":"Universität Bern","number":"IAM–99–005","address":"Institut für Informatik und angewandte Mathematik","url":"1999/wir99a.pdf","year":"1999","bibtex":"@TechReport{wir99a,\n Author = {Marc Wirz},\n Title = {Characterizing the {G}rzegorczyk hierarchy by safe\n recursion},\n Institution = {Universit{\\\"a}t Bern},\n Number = {IAM{--}99{--}005},\n Address = {Institut f{\\\"u}r Informatik und angewandte Mathematik},\n url = {1999/wir99a.pdf},\n year = 1999\n}\n","author_short":["Wirz, M."],"key":"wir99a","id":"wir99a","bibbaseid":"wirz-characterizingthegrzegorczykhierarchybysaferecursion-1999","role":"author","urls":{"Paper":"http://home.inf.unibe.ch/~brambi/1999/wir99a.pdf"},"downloads":0},"bibtype":"techreport","biburl":"http://home.inf.unibe.ch/~brambi/ltg.bib","creationDate":"2020-02-26T09:06:59.140Z","downloads":0,"keywords":[],"search_terms":["characterizing","grzegorczyk","hierarchy","safe","recursion","wirz"],"title":"Characterizing the Grzegorczyk hierarchy by safe recursion","year":1999,"dataSources":["jFQMeatnEb8qn3qdH"]}