dblp.uni-trier.dewww.uni-trier.de

Stefan Hetzl

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
8EEStefan Hetzl, Alexander Leitsch, Daniel Weller, Bruno Woltzenlogel Paleo: A Clausal Approach to Proof Analysis in Second-Order Logic. LFCS 2009: 214-229
2008
7EEStefan Hetzl, Alexander Leitsch, Daniel Weller, Bruno Woltzenlogel Paleo: Herbrand Sequent Extraction. AISC/MKM/Calculemus 2008: 462-477
6EEStefan Hetzl, Alexander Leitsch, Daniel Weller, Bruno Woltzenlogel Paleo: Transforming and Analyzing Proofs in the CERES-System. LPAR Workshops 2008
5EEMatthias 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
4EEStefan Hetzl, Alexander Leitsch: Proof Transformations and Structural Invariance. Algebraic and Proof-theoretic Aspects of Non-classical Logics 2006: 201-230
3EEMatthias Baaz, Stefan Hetzl, Alexander Leitsch, Clemens Richter, Hendrik Spohr: Proof Transformation by CERES. MKM 2006: 82-93
2005
2EEStefan Hetzl, Petra Mutzel: A Graph-Theoretic Approach to Steganography. Communications and Multimedia Security 2005: 119-128
2004
1EEMatthias Baaz, Stefan Hetzl, Alexander Leitsch, Clemens Richter, Hendrik Spohr: Cut-Elimination: Experiments with CERES. LPAR 2004: 481-495

Coauthor Index

1Matthias Baaz [1] [3] [5]
2Alexander Leitsch [1] [3] [4] [5] [6] [7] [8]
3Petra Mutzel [2]
4Bruno Woltzenlogel Paleo [6] [7] [8]
5Clemens Richter [1] [3] [5]
6Hendrik Spohr [1] [3] [5]
7Daniel Weller [6] [7] [8]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)