Your search
Boost open access documents
Linguistics tools
Statistics
108 hits
in 71,574,639 documents
in 0.24 seconds
Home » Search: Helmut Schwichtenberg
Hit List

1. A direct proof of the equivalence between Brouwer’s fan theorem and König’s lemma with a uniqueness hypothesis

Content Provider:

Detail View Email this
  Add to Favorites Check in Google Scholar

2. Mathematical Logic

Content Provider:

Detail View Email this
  Add to Favorites Check in Google Scholar

3. A syntactical analysis of non-size-increasing polynomial time computation

Content Provider:

Detail View Email this
  Add to Favorites Check in Google Scholar

4. Recursion on the partial continuous functionals

Content Provider:

Detail View Email this
  Add to Favorites Check in Google Scholar

5. Constructive Solutions of Continuous Equations

Content Provider:

Detail View Email this
  Add to Favorites Check in Google Scholar

6. Proofs, Lambda Terms and Control Operators

Content Provider:

Detail View Email this
  Add to Favorites Check in Google Scholar

7. Classical Proofs and Programs

Content Provider:

Detail View Email this
  Add to Favorites Check in Google Scholar

8. DECORATING PROOFS

Content Provider:

Detail View Email this
  Add to Favorites Check in Google Scholar

9. Proof Theory

Content Provider:

Detail View Email this
  Add to Favorites Check in Google Scholar

10. ∀x(A → ∃xA)

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 | 6 | 7 | 8 | 9 | 10 | 11  Next »  

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