 | 2009 |
|---|
| 9 |       | Stefan Hetzl,
Alexander Leitsch,
Daniel Weller,
Bruno Woltzenlogel Paleo:
A Clausal Approach to Proof Analysis in Second-Order Logic.
LFCS 2009: 214-229 |
| 8 | | Stefan Hetzl:
Describing proofs by short tautologies.
Ann. Pure Appl. Logic 159(1-2): 129-145 (2009) |
| 2008 |
|---|
| 7 | | Stefan Hetzl,
Alexander Leitsch,
Daniel Weller,
Bruno Woltzenlogel Paleo:
Herbrand Sequent Extraction.
AISC/MKM/Calculemus 2008: 462-477 |
| 6 | | Stefan Hetzl,
Alexander Leitsch,
Daniel Weller,
Bruno Woltzenlogel Paleo:
Transforming and Analyzing Proofs in the CERES-System.
LPAR Workshops 2008 |
| 5 | | Matthias Baaz,
Stefan Hetzl,
Alexander Leitsch,
Clemens Richter,
Hendrik Spohr:
CERES: An analysis of Fürstenberg's proof of the infinity of primes.
Theor. Comput. Sci. 403(2-3): 160-175 (2008) |
| 2006 |
|---|
| 4 | | Stefan Hetzl,
Alexander Leitsch:
Proof Transformations and Structural Invariance.
Algebraic and Proof-theoretic Aspects of Non-classical Logics 2006: 201-230 |
| 3 | | Matthias Baaz,
Stefan Hetzl,
Alexander Leitsch,
Clemens Richter,
Hendrik Spohr:
Proof Transformation by CERES.
MKM 2006: 82-93 |
| 2005 |
|---|
| 2 | | Stefan Hetzl,
Petra Mutzel:
A Graph-Theoretic Approach to Steganography.
Communications and Multimedia Security 2005: 119-128 |
| 2004 |
|---|
| 1 | | Matthias Baaz,
Stefan Hetzl,
Alexander Leitsch,
Clemens Richter,
Hendrik Spohr:
Cut-Elimination: Experiments with CERES.
LPAR 2004: 481-495 |
