Daniel Weller

According to our database, Daniel Weller authored at least 8 papers between 2008 and 2014.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2014

Introducing Quantified Cuts in Logic with Equality.

Stefan Hetzl, Alexander Leitsch, Giselle Reis, Janos Tapolczai, Daniel Weller

Proceedings of the Automated Reasoning - 7th International Joint Conference, 2014

2013

Cut-Elimination and Proof Schemata.

Cvetan Dunchev, Alexander Leitsch, Mikheil Rukhaia, Daniel Weller

Proceedings of the Logic, Language, and Computation, 2013

2012

System Feature Description: Importing Refutations into the GAPT Framework.

Cvetan Dunchev, Alexander Leitsch, Tomer Libal, Martin Riener, Mikheil Rukhaia, Daniel Weller, Bruno Woltzenlogel Paleo

Proceedings of the Second International Workshop on Proof Exchange for Theorem Proving, 2012

Towards Algorithmic Cut-Introduction.

Stefan Hetzl, Alexander Leitsch, Daniel Weller

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2012

2010

System Description: The Proof Transformation System CERES.

Tsvetan Dunchev, Alexander Leitsch, Tomer Libal, Daniel Weller, Bruno Woltzenlogel Paleo

Proceedings of the Automated Reasoning, 5th International Joint Conference, 2010

2009

A Clausal Approach to Proof Analysis in Second-Order Logic.

Stefan Hetzl, Alexander Leitsch, Daniel Weller, Bruno Woltzenlogel Paleo

Proceedings of the Logical Foundations of Computer Science, International Symposium, 2009

2008

Transforming and Analyzing Proofs in the CERES-System.

Stefan Hetzl, Alexander Leitsch, Daniel Weller, Bruno Woltzenlogel Paleo

Proceedings of the LPAR 2008 Workshops, 2008

Herbrand Sequent Extraction.

Stefan Hetzl, Alexander Leitsch, Daniel Weller, Bruno Woltzenlogel Paleo

Proceedings of the Intelligent Computer Mathematics, 9th International Conference, 2008