Daniel Weller

Publication Activity (10 Years)

Years Active: 2008-2019
Publications (10 Years): 5

Top Topics

Quantifier Elimination

Boolean Operators

Top Venues

J. Log. Comput.

Math. Struct. Comput. Sci.

Publications

Gabriel Ebner, Stefan Hetzl, Alexander Leitsch, Giselle Reis, Daniel Weller
On the Generation of Quantified Lemmas. J. Autom. Reason. 63 (1) (2019)
Federico Aschieri, Stefan Hetzl, Daniel Weller
Expansion trees with cut. Math. Struct. Comput. Sci. 29 (8) (2019)
Matthias Baaz, Agata Ciabattoni, Dov M. Gabbay, Stefan Hetzl, Daniel Weller
Preface. J. Log. Comput. 27 (2) (2017)
Sebastian Eberhard, Stefan Hetzl, Daniel Weller
Boolean unification with predicates. J. Log. Comput. 27 (1) (2017)
Alexander Leitsch, Nicolas Peltier, Daniel Weller
CERES for first-order schemata. J. Log. Comput. 27 (7) (2017)
Stefan Hetzl, Alexander Leitsch, Giselle Reis, Janos Tapolczai, Daniel Weller
Introducing Quantified Cuts in Logic with Equality. IJCAR (2014)
Stefan Hetzl, Alexander Leitsch, Giselle Reis, Janos Tapolczai, Daniel Weller
Introducing Quantified Cuts in Logic with Equality. CoRR (2014)
Stefan Hetzl, Alexander Leitsch, Giselle Reis, Daniel Weller
Algorithmic introduction of quantified cuts. Theor. Comput. Sci. 549 (2014)
Stefan Hetzl, Alexander Leitsch, Giselle Reis, Daniel Weller
Algorithmic Introduction of Quantified Cuts. CoRR (2014)
Daniel Weller
Exposition: Synthesis via Functional Interpretation. CoRR (2014)
Cvetan Dunchev, Alexander Leitsch, Mikheil Rukhaia, Daniel Weller
CERES for First-Order Schemata CoRR (2013)
Stefan Hetzl, Daniel Weller
Expansion Trees with Cut. CoRR (2013)
Cvetan Dunchev, Alexander Leitsch, Mikheil Rukhaia, Daniel Weller
Cut-Elimination and Proof Schemata. TbiLLC (2013)
Stefan Hetzl, Alexander Leitsch, Daniel Weller
Towards Algorithmic Cut-Introduction. LPAR (2012)
Matthias Baaz, Stefan Hetzl, Daniel Weller
On the complexity of proof deskolemization. J. Symb. Log. 77 (2) (2012)
Cvetan Dunchev, Alexander Leitsch, Tomer Libal, Martin Riener, Mikheil Rukhaia, Daniel Weller, Bruno Woltzenlogel Paleo
System Feature Description: Importing Refutations into the GAPT Framework. PxTP (2012)
Cvetan Dunchev, Alexander Leitsch, Tomer Libal, Martin Riener, Mikheil Rukhaia, Daniel Weller, Bruno Woltzenlogel Paleo
PROOFTOOL: a GUI for the GAPT Framework. UITP (2012)
Daniel Weller
On the elimination of quantifier-free cuts. Theor. Comput. Sci. 412 (49) (2011)
Stefan Hetzl, Alexander Leitsch, Daniel Weller
CERES in higher-order logic. Ann. Pure Appl. Log. 162 (12) (2011)
Tsvetan Dunchev, Alexander Leitsch, Tomer Libal, Daniel Weller, Bruno Woltzenlogel Paleo
System Description: The Proof Transformation System CERES. IJCAR (2010)
Stefan Hetzl, Alexander Leitsch, Daniel Weller, Bruno Woltzenlogel Paleo
A Clausal Approach to Proof Analysis in Second-Order Logic. LFCS (2009)
Stefan Hetzl, Alexander Leitsch, Daniel Weller, Bruno Woltzenlogel Paleo
Transforming and Analyzing Proofs in the CERES-System. LPAR Workshops (2008)
Stefan Hetzl, Alexander Leitsch, Daniel Weller, Bruno Woltzenlogel Paleo
Herbrand Sequent Extraction. AISC/MKM/Calculemus (2008)