Loading...
Please wait, while we are loading the content...
Similar Documents
Characterizing the Grzegorczyk hierarchy by safe recursion
| Content Provider | Semantic Scholar |
|---|---|
| Author | Wirz, Marc |
| Copyright Year | 1999 |
| Abstract | We show how the charaterization of the polytime functions by Bellantoni and Cook [1] can be extended to characterize any stage of the Grzegorzyk hierarchy above the second, thus proposing an answer to a problem posted by Clote [3]. This is done by allowing an arbitrary fixed number of distinct positions for variables instead of only two as in the original work of Bellantoni and Cook. As turned out after writing down this paper, comparable results were also proved by Bellantoni and Niggl [2]. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://www.iam.unibe.ch/ltgpub/1999/wir99a.pdf |
| Alternate Webpage(s) | http://iamwww.unibe.ch/~til/publications/files/1999/techrep.pdf |
| Alternate Webpage(s) | http://www.iam.unibe.ch/til/publications/pubitems/pdfs/wir99a.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
