Your search
Boost open access documents
Linguistics tools
Statistics
45 hits
in 72,227,055 documents
in 0.23 seconds
Home » Search: Wilfried Buchholz
Hit List

1. Bar Recursive Encodings of Tree Ordinals

Content Provider:

Detail View Email this   Add to Favorites Check in Google Scholar

2. Proof-Theoretic Analysis of Termination Proofs

Content Provider:

Detail View Email this   Add to Favorites Check in Google Scholar

3. Dedicated to Wolfram Pohlers on his retirement

Content Provider:

Detail View Email this   Add to Favorites Check in Google Scholar

4. Bar recursive encodings of tree ordinals

Content Provider:

Detail View Email this   Add to Favorites Check in Google Scholar

5. Relating Ordinals to Proofs in a Perspicious Way

Content Provider:

Detail View Email this   Add to Favorites Check in Google Scholar

6. Dedicated to Wolfram Pohlers on his retirement

Content Provider:

Detail View Email this   Add to Favorites Check in Google Scholar

7. A note on SLDNF-resolution

Content Provider:

Detail View Email this   Add to Favorites Check in Google Scholar

8. Re ned Program Extraction from Classical Proofs

Content Provider:

Detail View Email this   Add to Favorites Check in Google Scholar

9. Refined Program Extraction from Classical Proofs

Content Provider:

Detail View Email this   Add to Favorites Check in Google Scholar

10. Refined program extraction from classical proofs

Content Provider:

Detail View Email this   Add to Favorites Check in Google Scholar
All Records
Sort Your Results
Refine Search Result
Results:   1 | 2 | 3 | 4 | 5  Next »  

Currently in BASE: 72,227,055 Documents of 3,466 Content Sources
http://www.base-search.net