E-LIB Suche - Ergebnisse für: Schwichtenberg, Helmut

1

Lookahead analysis in exact real arithmetic with logical me..:

Köpp, Nils ; Schwichtenberg, Helmut
Theoretical Computer Science. 943 (2023) - p. 171-186 , 2023

Link: https://doi.org/10.1016/..

2

The computational content of abstract algebra and analysis:

Wiesnet, Franziskus , 2021

Link: https://nbn-resolving.de..

3

Mathematische Logik:

, In: The Legacy of Kurt Schütte,

Schütte, Kurt ; Schwichtenberg, Helmut - p. 71-91 , 2020

Link: https://doi.org/10.1007/..

4

Program Extraction from Proofs: The Fan Theorem for Uniform..:

, In: Mathesis Universalis, Computability and Proof; Synthese Library,

Schwichtenberg, Helmut - p. 333-341 , 2019

Link: https://doi.org/10.1007/..

5

Embedding classical in minimal implicational logic:

Ishihara, Hajime ; Schwichtenberg, Helmut
Mathematical Logic Quarterly. 62 (2016) 1-2 - p. 94-101 , 2016

Link: https://doi.org/10.1002/..

6

Constructive topology of bishop spaces:

Petrakis, Iosif , 2015

Link: http://nbn-resolving.de/..

7

Program extraction in exact real arithmetic:

MIYAMOTO, KENJI ; SCHWICHTENBERG, HELMUT
Mathematical Structures in Computer Science. 25 (2014) 8 - p. 1692-1704 , 2014

Link: https://doi.org/10.1017/..

8

Program extraction from coinductive proofs and its applicat..:

Miyamoto, Kenji , 2013

Link: http://nbn-resolving.de/..

9

Towards an arithmetic for partial computable functionals:

Karadais, Basil A. , 2013

Link: http://nbn-resolving.de/..

10

Minimal from classical proofs:

Schwichtenberg, Helmut ; Senjak, Christoph
Annals of Pure and Applied Logic. 164 (2013) 6 - p. 740-748 , 2013

Link: https://doi.org/10.1016/..

11

Viewing λ-terms through maps:

Sato, Masahiko ; Pollack, Randy ; Schwichtenberg, Helmut.
Indagationes Mathematicae. 24 (2013) 4 - p. 1073-1104 , 2013

Link: https://doi.org/10.1016/..

12

Analysis of methods for extraction of programs from non-con..:

Trifonov, Trifon , 2012

Link: http://nbn-resolving.de/..

13

Proofs and computations

Perspectives in logic

Schwichtenberg, Helmut ; Wainer, S. S. , 2012

Link: http://dx.doi.org/10.101..

14

Refinement of Classical Proofs for Program Extraction:

Ratiu, Diana , 2011

Link: http://nbn-resolving.de/..

15

Proofs and Computations

Perspectives in Logic

Schwichtenberg, Helmut ; Wainer, S. S , 2011

Link: https://search.ebscohost..