Searching for authors named "Helmut Schwichtenberg" – sorted by Relevance.
33 documents found, showing 1 through 10.
Next 10 →
-
Mathematical Logic
- …Mathematical Logic Helmut Schwichtenberg Mathematisches Institut der Universität München…
- Add To MetaCart
-
Realizability interpretation of proofs in constructive analysis
- …REALIZABILITY INTERPRETATION OF PROOFS IN CONSTRUCTIVE ANALYSIS HELMUT SCHWICHTENBERG Abstract. We…
- Add To MetaCart
-
Dialectica Interpretation of Well-Founded Induction
- … Helmut Schwichtenberg ∗1 1 Mathematisches Institut der LMU, Theresienstr. 39, D-80333 München Received 11…
- Add To MetaCart
-
Content in Proofs of List Reversal
- …CONTENT IN PROOFS OF LIST REVERSAL HELMUT SCHWICHTENBERG Berger [2] observed that the well…
- Add To MetaCart
-
Classical Proofs and Programs
- …Classical Proofs and Programs Helmut Schwichtenberg, Universitat Munchen Contents 1 Introduction…
- Add To MetaCart
-
Minlog - An Interactive Prover
- …Minlog --- An Interactive Prover Helmut Schwichtenberg December 2, 1997 Contents 1 Introduction 4…
- Add To MetaCart
-
Proof Search in Minimal Logic
- …Proof search in minimal logic Helmut Schwichtenberg November 9, 2000 1 Introduction Intro We…
- Add To MetaCart
-
A direct proof of the equivalence between Brouwer’s fan theorem and König’s lemma with a uniqueness hypothesis
- … Uniqueness Hypothesis 1 Helmut Schwichtenberg (Mathematisches Institut, Universität München Theresienstraße…
- Cited by 2 (0 self) – Add To MetaCart
-
Classifying Recursive Functions
- …Classifying Recursive Functions Helmut Schwichtenberg Draft of October 7, 1997 for the Handbook…
- Cited by 4 (1 self) – Add To MetaCart
-
Density and Choice for Total Continuous Functionals
- …Density and choice for total continuous functionals* Helmut Schwichtenberg Mathematisches Institut…
- Cited by 8 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
