Travelled to:1 × Austria
1 × Czech Republic
1 × France
1 × Germany
1 × Poland
1 × Spain
Collaborated with:∅ S.Zivota L.Straßburger G.Reis B.Afshari G.E.Leigh K.Chaudhuri D.Miller A.Leitsch J.Tapolczai D.Weller G.Ebner M.Riener S.Wolfsteiner
Talks about:cut (4) elimin (3) tree (3) herbrand (2) calculus (2) sequent (2) grammar (2) classic (2) logic (2) represent (1)
Person: Stefan Hetzl
DBLP: Hetzl:Stefan
Contributed to:
2015
2015
20142012
201220102016Wrote 8 papers:
- CSL-2015-HetzlZ
- Tree Grammars for the Elimination of Non-prenex Cuts (SH, SZ), pp. 110–127.
- TLCA-2015-AfshariHL #context-free grammar
- Herbrand Disjunctions, Cut Elimination and Context-Free Tree Grammars (BA, SH, GEL), pp. 1–16.
- IJCAR-2014-HetzlLRTW #logic #quantifier #similarity
- Introducing Quantified Cuts in Logic with Equality (SH, AL, GR, JT, DW), pp. 240–254.
- CSL-2012-ChaudhuriHM #approach #calculus
- A Systematic Approach to Canonicity in the Classical Sequent Calculus (KC, SH, DM), pp. 183–197.
- CSL-2012-HetzlS #first-order #logic
- Herbrand-Confluence for Cut Elimination in Classical First Order Logic (SH, LS), pp. 320–334.
- LATA-2012-Hetzl #proving
- Applying Tree Languages in Proof Theory (SH), pp. 301–312.
- CSL-2010-Hetzl #calculus #representation
- A Sequent Calculus with Implicit Term Representation (SH), pp. 351–365.
- IJCAR-2016-EbnerHRRWZ
- System Description: GAPT 2.0 (GE, SH, GR, MR, SW, SZ), pp. 293–301.