Daniel Weller

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