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.

Alexander Leitsch, Bruno Woltzenlogel Paleo, Daniel Weller, 2008, LPAR Workshops.