Your search
Boost open access documents
Linguistics tools
Statistics
44 hits
in 71,574,639 documents
in 0.22 seconds
Home » Search: Wilfried Buchholz
Hit List

1. Proof-Theoretic Analysis of Termination Proofs

Content Provider:

Detail View Email this
  Add to Favorites Check in Google Scholar

2. Dedicated to Wolfram Pohlers on his retirement

Content Provider:

Detail View Email this
  Add to Favorites Check in Google Scholar

3. Bar recursive encodings of tree ordinals

Content Provider:

Detail View Email this
  Add to Favorites Check in Google Scholar

4. Relating Ordinals to Proofs in a Perspicious Way

Content Provider:

Detail View Email this
  Add to Favorites Check in Google Scholar

5. A note on SLDNF-resolution

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. Bar Recursive Encodings of Tree Ordinals

Content Provider:

Detail View Email this
  Add to Favorites Check in Google Scholar

8. Refined 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. Re ned Program Extraction from Classical Proofs

Content Provider:

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

Currently in BASE: 71,574,639 Documents of 3,436 Content Sources
http://www.base-search.net