Daniel Weller
发表
Daniel Weller,
2016
.
Alexander Leitsch,
Daniel Weller,
Stefan Hetzl,
2011,
Ann. Pure Appl. Log..
Dov M. Gabbay,
Matthias Baaz,
Daniel Weller,
2017,
J. Log. Comput..
Alexander Leitsch,
Daniel Weller,
Stefan Hetzl,
2012,
LPAR.
Alexander Leitsch,
Nicolas Peltier,
Daniel Weller,
2013,
J. Log. Comput..
Daniel Weller,
Stefan Hetzl,
Sebastian Eberhard,
2017,
J. Log. Comput..
Daniel Weller,
Ruben Perez,
Yu Hsin Lin,
2005
.
Alexander Leitsch,
Giselle Reis,
Daniel Weller,
2014,
IJCAR.
Alexander Leitsch,
Giselle Reis,
Daniel Weller,
2014,
Theor. Comput. Sci..
Alexander Leitsch,
Bruno Woltzenlogel Paleo,
Tomer Libal,
2010,
IJCAR.
Matthias Baaz,
Daniel Weller,
Stefan Hetzl,
2012,
J. Symb. Log..
Alexander Leitsch,
Bruno Woltzenlogel Paleo,
Daniel Weller,
2009,
LFCS.
Daniel Weller,
Stefan Hetzl,
2019,
Math. Struct. Comput. Sci..
Florian Fetzer,
Meiko Boley,
Rudolf Weber,
2016,
SPIE LASE.
Daniel Weller,
2011,
Theor. Comput. Sci..
Alexander Leitsch,
Bruno Woltzenlogel Paleo,
Tomer Libal,
2012,
UITP.
Alexander Leitsch,
Bruno Woltzenlogel Paleo,
Daniel Weller,
2008,
LPAR Workshops.
Alexander Leitsch,
Daniel Weller,
Mikheil Rukhaia,
2013,
TbiLLC.
Alexander Leitsch,
Tomer Libal,
Daniel Weller,
2012
.
Daniel Weller,
2014,
ArXiv.
Daniel Weller,
Laura K. Strawn,
Siyun Wang,
2016
.
Alexander Leitsch,
Bruno Woltzenlogel Paleo,
Daniel Weller,
2008,
AISC/MKM/Calculemus.
Alexander Leitsch,
Giselle Reis,
Daniel Weller,
2018,
Journal of Automated Reasoning.
Alexander Leitsch,
Daniel Weller,
Stefan Hetzl,
2012
.