Helmut Schwichtenberg
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
1991–2013
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | ITP | Program Extraction from Nested Definitions. | Kenji Miyamoto, Fredrik Nordvall Forsberg, Helmut Schwichtenberg |
| 2011 | CALCO | Minlog - A Tool for Program Extraction Supporting Algebras and Coalgebras. | Ulrich Berger, Kenji Miyamoto, Helmut Schwichtenberg, Monika Seisenberger |
| 2006 | CiE | Inverting Monotone Continuous Functions in Constructive Analysis. | Helmut Schwichtenberg |
| 2004 | AISC | Proof Search in Minimal Logic. | Helmut Schwichtenberg |
| 2000 | LICS | A Syntactical Analysis of Non-Size-Increasing Polynomial Time Computation. | Klaus Aehlig, Helmut Schwichtenberg |
| 1991 | CSL | Minimal from Classical Proofs. | Helmut Schwichtenberg |
| 1991 | LICS | An Inverse of the Evaluation Functional for Typed lambda-calculus | Ulrich Berger, Helmut Schwichtenberg |