Concepedia

Helmut Schwichtenberg

HS

Statistics

Publications

16

Citations

496

H-Index

14

Active since

1979

Affiliations

Ludwig-Maximilians-Universität München(Current)

University of Wales

Swansea University

Helmut Schwichtenberg is an author at Ludwig-Maximilians-Universität München specializing in computer science, computing, and mathematics.

Publications per year

1979–2020

16

Publications

16

Refined program extraction from classical proofs

Ulrich Berger, Wilfried Buchholz, Helmut Schwichtenberg · Annals of Pure and Applied Logic · 2002 · 80 citations

Computing, Computer Science, Algorithms +13

Higher type recursion, ramification and polynomial time

Stephen J. Bellantoni, Karl-Heinz Niggl, Helmut Schwichtenberg · Annals of Pure and Applied Logic · 2000 · 70 citations

Computing, Computer Science, Mathematics +14

Program Extraction from Normalization Proofs

Ulrich Berger, Stefan Berghofer, Pierre Letouzey et al. · Studia Logica · 2006 · 51 citations · Full text

Computing, Computer Engineering, Computer Science +14

A Short Introduction to Intuitionistic Logic

Helmut Schwichtenberg, Grigori Mint︠s︡ · Bulletin of Symbolic Logic · 2002 · 45 citations

Humanities, Philosophy, Logic +7

The Warshall Algorithm and Dickson's Lemma: Two Examples of Realistic Program Extraction

Ulrich Berger, Helmut Schwichtenberg, Monika Seisenberger · Journal of Automated Reasoning · 2001 · 32 citations

Computing, Computer Science, Algorithms +6

1–5 of 16