Stefan Hetzl
发表
Alexander Leitsch,
Matthias Baaz,
Stefan Hetzl,
2008,
Theoretical Computer Science.
Stefan Hetzl,
Dale Miller,
Kaustuv Chaudhuri,
2012
.
Stefan Hetzl,
A. Leitsch,
B. W. Paleo,
2008
.
Stefan Hetzl,
J. Vierling,
2019,
Log. Methods Comput. Sci..
Stefan Hetzl,
Gabriel Ebner,
2018
.
Graham Emil Leigh,
Stefan Hetzl,
Bahareh Afshari,
2020,
Ann. Pure Appl. Log..
Stefan Hetzl,
A. Leitsch,
B. W. Paleo,
2009
.
Stefan Hetzl,
2013
.
Stefan Hetzl,
D. Gómez-Ramírez,
2017,
1710.04022.
M. Baaz,
Stefan Hetzl,
A. Leitsch,
2006
.
Graham Emil Leigh,
Stefan Hetzl,
B. Afshari,
2020
.
Stefan Hetzl,
Johannes Kloibhofer,
Stefan Hetzl,
2021,
HCVS@ETAPS.
Stefan Hetzl,
Johannes Kloibhofer,
Stefan Hetzl,
2021,
SOQE@KR.
Stefan Hetzl,
Sebastian Zivota,
Stefan Hetzl,
2020,
J. Log. Comput..
Daniel Weller,
Stefan Hetzl,
Sebastian Eberhard,
2017,
J. Log. Comput..
Alexander Leitsch,
Daniel Weller,
Stefan Hetzl,
2011,
Ann. Pure Appl. Log..
Alexander Leitsch,
Matthias Baaz,
Stefan Hetzl,
2005,
LPAR.
Petra Mutzel,
Stefan Hetzl,
Stefan Hetzl,
2005,
Communications and Multimedia Security.
Dale Miller,
Kaustuv Chaudhuri,
Stefan Hetzl,
2016,
J. Log. Comput..
Stefan Hetzl,
Stefan Hetzl,
2010,
Arch. Math. Log..
Stefan Hetzl,
J. Vierling,
2019,
Log. Methods Comput. Sci..
Alexander Leitsch,
Matthias Baaz,
Stefan Hetzl,
2006,
MKM.
Stefan Hetzl,
Sebastian Eberhard,
Stefan Hetzl,
2015,
Ann. Pure Appl. Log..
Stefan Hetzl,
Sebastian Eberhard,
Stefan Hetzl,
2015,
DCFS.
Alexander Leitsch,
Giselle Reis,
Daniel Weller,
2014,
Theor. Comput. Sci..
Stefan Hetzl,
Stefan Hetzl,
2012,
LATA.
Stefan Hetzl,
Stefan Hetzl,
2011
.
Stefan Hetzl,
J. Vierling,
2021,
Ann. Pure Appl. Log..
Stefan Hetzl,
Stefan Hetzl,
2010,
CSL.
Alexander Leitsch,
Bruno Woltzenlogel Paleo,
Daniel Weller,
2009,
LFCS.
Matthias Baaz,
Stefan Hetzl,
M. Baaz,
2011,
The Journal of Symbolic Logic.
Stefan Hetzl,
Stefan Hetzl,
2012,
Notre Dame J. Formal Log..
Graham Emil Leigh,
Stefan Hetzl,
Bahareh Afshari,
2015,
TLCA.
Stefan Hetzl,
J. Vierling,
2023,
ArXiv.
Giselle Reis,
Stefan Hetzl,
Sebastian Zivota,
2016,
IJCAR.
Lutz Straßburger,
Stefan Hetzl,
Stefan Hetzl,
2013,
Log. Methods Comput. Sci..
Tomer Libal,
Stefan Hetzl,
Martin Riener,
2013,
TABLEAUX.
Lutz Straßburger,
Stefan Hetzl,
Stefan Hetzl,
2012,
CSL.
Stefan Hetzl,
Stefan Hetzl,
2009,
Ann. Pure Appl. Log..
Alexander Leitsch,
Bruno Woltzenlogel Paleo,
Daniel Weller,
2008,
AISC/MKM/Calculemus.
Stefan Hetzl,
Stefan Hetzl,
2010
.
Alexander Leitsch,
Bruno Woltzenlogel Paleo,
Daniel Weller,
2008,
LPAR Workshops.