Your search
Boost open access documents
Linguistics tools
Statistics
44 hits
in 70,930,940 documents
in 0.87 seconds
Home » Search: Wilfried Buchholz
Hit List

1. Dedicated to Wolfram Pohlers on his retirement

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

Content Provider:

Detail View Email this
  Add to Favorites Check in Google Scholar

6. A note on SLDNF-resolution

Content Provider:

Detail View Email this
  Add to Favorites Check in Google Scholar

7. Proof-Theoretic Analysis of Termination Proofs

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
Sort Your Results
Refine Search Result
Results:   1 | 2 | 3 | 4 | 5  Next »  

Currently in BASE: 70,930,940 Documents of 3,410 Content Sources
http://www.base-search.net