Your search
Boost open access documents
Linguistics tools
Statistics
107 hits
in 70,930,940 documents
in 0.17 seconds
Home » Search: Helmut Schwichtenberg
Hit List

1. Mathematical Logic

Content Provider:

Detail View Email this
  Add to Favorites Check in Google Scholar

2. Finite Notations for Infinite Terms

Content Provider:

Detail View Email this
  Add to Favorites Check in Google Scholar

3. Classifying Recursive Functions

Content Provider:

Detail View Email this
  Add to Favorites Check in Google Scholar

4. A Syntactical Analysis of Non-Size-Increasing Polynomial Time Computation

Content Provider:

Detail View Email this
  Add to Favorites Check in Google Scholar

5. Minlog - An Interactive Prover

Content Provider:

Detail View Email this
  Add to Favorites Check in Google Scholar

6. Feasible Programs from Proofs

Content Provider:

Detail View Email this
  Add to Favorites Check in Google Scholar

7. Constructive Analysis with Witnesses

Content Provider:

Detail View Email this
  Add to Favorites Check in Google Scholar

8. Termination of permutative conversions in intuitionistic Gentzen calculi

Content Provider:

Detail View Email this
  Add to Favorites Check in Google Scholar

9. Program extraction in constructive analysis. Submitted to: Logicism, Intuitionism, and Formalism – What has become of them

Content Provider:

Detail View Email this
  Add to Favorites Check in Google Scholar

10. Realizability interpretation of proofs in constructive analysis

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: 70,930,940 Documents of 3,410 Content Sources
http://www.base-search.net