BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Hetzl:Stefan

Contributed to:

CSL 20152015
TLCA 20152015
IJCAR 20142014
CSL 20122012
LATA 20122012
CSL 20102010
IJCAR 20162016

Wrote 8 papers:

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.
System Description: GAPT 2.0 (GE, SH, GR, MR, SW, SZ), pp. 293–301.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.