Your search
Boost open access documents
Linguistics tools
Statistics
45 hits
in 68,072,316 documents
in 0.20 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. Relating Ordinals to Proofs in a Perspicious Way

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. Proof-Theoretic Analysis of Termination Proofs

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

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. www.elsevier.com/locate/apal Re ned program extraction from classical proofs

Content Provider:

Detail View Email this
  Add to Favorites Check in Google Scholar

9. Re ned 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: 68,072,316 Documents of 3,307 Content Sources
http://www.base-search.net