Daniel Weller
发表
Daniel Weller,
Stefan Hetzl,
Sebastian Eberhard,
2017,
J. Log. Comput..
Alexander Leitsch,
Daniel Weller,
Stefan Hetzl,
2011,
Ann. Pure Appl. Log..
Alexander Leitsch,
Giselle Reis,
Daniel Weller,
2014,
Theor. Comput. Sci..
Alexander Leitsch,
Bruno Woltzenlogel Paleo,
Daniel Weller,
2009,
LFCS.
Alexander Leitsch,
Daniel Weller,
Mikheil Rukhaia,
2013,
TbiLLC.
Alexander Leitsch,
Nicolas Peltier,
Daniel Weller,
2013,
J. Log. Comput..
Alexander Leitsch,
Bruno Woltzenlogel Paleo,
Tomer Libal,
2010,
IJCAR.
Alexander Leitsch,
Bruno Woltzenlogel Paleo,
Daniel Weller,
2008,
AISC/MKM/Calculemus.
Alexander Leitsch,
Bruno Woltzenlogel Paleo,
Tomer Libal,
2012,
UITP.
Stefan Hetzl,
A. Leitsch,
B. W. Paleo,
2009
.
Alexander Leitsch,
Bruno Woltzenlogel Paleo,
Daniel Weller,
2008,
LPAR Workshops.
Stefan Hetzl,
A. Leitsch,
B. W. Paleo,
2008
.