Stefan Hetzl

	2012
16		Stefan Hetzl: Applying Tree Languages in Proof Theory. LATA 2012: 301-312
15		Stefan Hetzl, Alexander Leitsch, Daniel Weller: Towards Algorithmic Cut-Introduction. LPAR 2012: 228-242
14		Matthias Baaz, Stefan Hetzl, Daniel Weller: On the complexity of proof deskolemization. J. Symb. Log. 77(2): 669-686 (2012)
	2011
13		Stefan Hetzl, Alexander Leitsch, Daniel Weller: CERES in higher-order logic. Ann. Pure Appl. Logic 162(12): 1001-1034 (2011)
12		Matthias Baaz, Stefan Hetzl: On the non-confluence of cut-elimination. J. Symb. Log. 76(1): 313-340 (2011)
	2010
11		Stefan Hetzl: A Sequent Calculus with Implicit Term Representation. CSL 2010: 351-365
10		Stefan Hetzl: On the form of witness terms. Arch. Math. Log. 49(5): 529-554 (2010)
	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

Coauthor Index

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

Colors in the list of coauthors

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page