×

zbMATH — the first resource for mathematics

Hetzl, Stefan

Compute Distance To:
Author ID: hetzl.stefan Recent zbMATH articles by "Hetzl, Stefan"
Published as: Hetzl, Stefan
External Links: MGP
Documents Indexed: 42 Publications since 2005

Publications by Year

Citations contained in zbMATH Open

33 Publications have been cited 129 times in 44 Documents Cited by Year
Algorithmic introduction of quantified cuts. Zbl 1393.03050
Hetzl, Stefan; Leitsch, Alexander; Reis, Giselle; Weller, Daniel
11
2014
Towards algorithmic cut-introduction. Zbl 1352.68213
Hetzl, Stefan; Leitsch, Alexander; Weller, Daniel
10
2012
CERES: An analysis of Fürstenberg’s proof of the infinity of primes. Zbl 1181.68264
Baaz, Matthias; Hetzl, Stefan; Leitsch, Alexander; Richter, Clemens; Spohr, Hendrik
9
2008
Cut-elimination: experiments with CERES. Zbl 1108.03305
Baaz, Matthias; Hetzl, Stefan; Leitsch, Alexander; Richter, Clemens; Spohr, Hendrik
9
2005
Herbrand sequent extraction. Zbl 1166.68347
Hetzl, Stefan; Leitsch, Alexander; Weller, Daniel; Woltzenlogel Paleo, Bruno
8
2008
Introducing quantified cuts in logic with equality. Zbl 1423.68418
Hetzl, Stefan; Leitsch, Alexander; Reis, Giselle; Tapolczai, Janos; Weller, Daniel
7
2014
System description: GAPT 2.0. Zbl 06623268
Ebner, Gabriel; Hetzl, Stefan; Reis, Giselle; Riener, Martin; Wolfsteiner, Simon; Zivota, Sebastian
6
2016
Inductive theorem proving based on tree grammars. Zbl 1386.03018
Eberhard, Sebastian; Hetzl, Stefan
6
2015
Applying tree languages in proof theory. Zbl 1350.68170
Hetzl, Stefan
6
2012
On the non-confluence of cut-elimination. Zbl 1220.03048
Baaz, Matthias; Hetzl, Stefan
5
2011
Proof transformation by CERES. Zbl 1125.03012
Baaz, Matthias; Hetzl, Stefan; Leitsch, Alexander; Richter, Clemens; Spohr, Hendrik
5
2006
Herbrand disjunctions, cut elimination and context-free tree grammars. Zbl 1366.03235
Afshari, Bahareh; Hetzl, Stefan; Leigh, Graham E.
4
2015
Understanding resolution proofs through Herbrand’s theorem. Zbl 1401.03038
Hetzl, Stefan; Libal, Tomer; Riener, Martin; Rukhaia, Mikheil
4
2013
CERES in higher-order logic. Zbl 1259.03071
Hetzl, Stefan; Leitsch, Alexander; Weller, Daniel
4
2011
Algorithmic compression of finite tree languages by rigid acyclic grammars. Zbl 1407.68251
Eberhard, Sebastian; Ebner, Gabriel; Hetzl, Stefan
3
2017
A multi-focused proof system isomorphic to expansion proofs. Zbl 1403.03118
Chaudhuri, Kaustuv; Hetzl, Stefan; Miller, Dale
3
2016
Compressibility of finite languages by grammars. Zbl 1390.68388
Eberhard, Sebastian; Hetzl, Stefan
3
2015
Herbrand-confluence for cut elimination in classical first order logic. Zbl 1252.03123
Hetzl, Stefan; Straßburger, Lutz
3
2012
On the complexity of proof deskolemization. Zbl 1345.03104
Baaz, Matthias; Hetzl, Stefan; Weller, Daniel
3
2012
Describing proofs by short tautologies. Zbl 1172.03027
Hetzl, Stefan
3
2009
On the compressibility of finite languages and formal proofs. Zbl 1390.68389
Eberhard, Sebastian; Hetzl, Stefan
2
2018
Some observations on the logical foundations of inductive theorem proving. Zbl 1460.03005
Hetzl, Stefan; Wong, Tin Lok
2
2017
A systematic approach to canonicity in the classical sequent calculus. Zbl 1252.03128
Chaudhuri, Kaustuv; Hetzl, Stefan; Miller, Dale
2
2012
Proof transformations and structural invariance. Zbl 1123.03050
Hetzl, Stefan; Leitsch, Alexander
2
2007
Expansion trees with cut. Zbl 1456.03085
Aschieri, Federico; Hetzl, Stefan; Weller, Daniel
1
2019
On the generation of quantified lemmas. Zbl 1459.03011
Ebner, Gabriel; Hetzl, Stefan; Leitsch, Alexander; Reis, Giselle; Weller, Daniel
1
2019
Complexity of decision problems on totally rigid acyclic tree grammars. Zbl 06983386
Eberhard, Sebastian; Ebner, Gabriel; Hetzl, Stefan
1
2018
Herbrand-confluence. Zbl 1325.03069
Hetzl, Stefan; Straßburger, Lutz
1
2013
The computational content of arithmetical proofs. Zbl 1269.03055
Hetzl, Stefan
1
2012
Project presentation: algorithmic structuring and compression of proofs (ASCOP). Zbl 1360.68752
Hetzl, Stefan
1
2012
A sequent calculus with implicit term representation. Zbl 1287.03100
Hetzl, Stefan
1
2010
On the form of witness terms. Zbl 1205.03064
Hetzl, Stefan
1
2010
A clausal approach to proof analysis in second-order logic. Zbl 1211.03018
Hetzl, Stefan; Leitsch, Alexander; Weller, Daniel; Woltzenlogel Paleo, Bruno
1
2009
Expansion trees with cut. Zbl 1456.03085
Aschieri, Federico; Hetzl, Stefan; Weller, Daniel
1
2019
On the generation of quantified lemmas. Zbl 1459.03011
Ebner, Gabriel; Hetzl, Stefan; Leitsch, Alexander; Reis, Giselle; Weller, Daniel
1
2019
On the compressibility of finite languages and formal proofs. Zbl 1390.68389
Eberhard, Sebastian; Hetzl, Stefan
2
2018
Complexity of decision problems on totally rigid acyclic tree grammars. Zbl 06983386
Eberhard, Sebastian; Ebner, Gabriel; Hetzl, Stefan
1
2018
Algorithmic compression of finite tree languages by rigid acyclic grammars. Zbl 1407.68251
Eberhard, Sebastian; Ebner, Gabriel; Hetzl, Stefan
3
2017
Some observations on the logical foundations of inductive theorem proving. Zbl 1460.03005
Hetzl, Stefan; Wong, Tin Lok
2
2017
System description: GAPT 2.0. Zbl 06623268
Ebner, Gabriel; Hetzl, Stefan; Reis, Giselle; Riener, Martin; Wolfsteiner, Simon; Zivota, Sebastian
6
2016
A multi-focused proof system isomorphic to expansion proofs. Zbl 1403.03118
Chaudhuri, Kaustuv; Hetzl, Stefan; Miller, Dale
3
2016
Inductive theorem proving based on tree grammars. Zbl 1386.03018
Eberhard, Sebastian; Hetzl, Stefan
6
2015
Herbrand disjunctions, cut elimination and context-free tree grammars. Zbl 1366.03235
Afshari, Bahareh; Hetzl, Stefan; Leigh, Graham E.
4
2015
Compressibility of finite languages by grammars. Zbl 1390.68388
Eberhard, Sebastian; Hetzl, Stefan
3
2015
Algorithmic introduction of quantified cuts. Zbl 1393.03050
Hetzl, Stefan; Leitsch, Alexander; Reis, Giselle; Weller, Daniel
11
2014
Introducing quantified cuts in logic with equality. Zbl 1423.68418
Hetzl, Stefan; Leitsch, Alexander; Reis, Giselle; Tapolczai, Janos; Weller, Daniel
7
2014
Understanding resolution proofs through Herbrand’s theorem. Zbl 1401.03038
Hetzl, Stefan; Libal, Tomer; Riener, Martin; Rukhaia, Mikheil
4
2013
Herbrand-confluence. Zbl 1325.03069
Hetzl, Stefan; Straßburger, Lutz
1
2013
Towards algorithmic cut-introduction. Zbl 1352.68213
Hetzl, Stefan; Leitsch, Alexander; Weller, Daniel
10
2012
Applying tree languages in proof theory. Zbl 1350.68170
Hetzl, Stefan
6
2012
Herbrand-confluence for cut elimination in classical first order logic. Zbl 1252.03123
Hetzl, Stefan; Straßburger, Lutz
3
2012
On the complexity of proof deskolemization. Zbl 1345.03104
Baaz, Matthias; Hetzl, Stefan; Weller, Daniel
3
2012
A systematic approach to canonicity in the classical sequent calculus. Zbl 1252.03128
Chaudhuri, Kaustuv; Hetzl, Stefan; Miller, Dale
2
2012
The computational content of arithmetical proofs. Zbl 1269.03055
Hetzl, Stefan
1
2012
Project presentation: algorithmic structuring and compression of proofs (ASCOP). Zbl 1360.68752
Hetzl, Stefan
1
2012
On the non-confluence of cut-elimination. Zbl 1220.03048
Baaz, Matthias; Hetzl, Stefan
5
2011
CERES in higher-order logic. Zbl 1259.03071
Hetzl, Stefan; Leitsch, Alexander; Weller, Daniel
4
2011
A sequent calculus with implicit term representation. Zbl 1287.03100
Hetzl, Stefan
1
2010
On the form of witness terms. Zbl 1205.03064
Hetzl, Stefan
1
2010
Describing proofs by short tautologies. Zbl 1172.03027
Hetzl, Stefan
3
2009
A clausal approach to proof analysis in second-order logic. Zbl 1211.03018
Hetzl, Stefan; Leitsch, Alexander; Weller, Daniel; Woltzenlogel Paleo, Bruno
1
2009
CERES: An analysis of Fürstenberg’s proof of the infinity of primes. Zbl 1181.68264
Baaz, Matthias; Hetzl, Stefan; Leitsch, Alexander; Richter, Clemens; Spohr, Hendrik
9
2008
Herbrand sequent extraction. Zbl 1166.68347
Hetzl, Stefan; Leitsch, Alexander; Weller, Daniel; Woltzenlogel Paleo, Bruno
8
2008
Proof transformations and structural invariance. Zbl 1123.03050
Hetzl, Stefan; Leitsch, Alexander
2
2007
Proof transformation by CERES. Zbl 1125.03012
Baaz, Matthias; Hetzl, Stefan; Leitsch, Alexander; Richter, Clemens; Spohr, Hendrik
5
2006
Cut-elimination: experiments with CERES. Zbl 1108.03305
Baaz, Matthias; Hetzl, Stefan; Leitsch, Alexander; Richter, Clemens; Spohr, Hendrik
9
2005

Citations by Year