Daniel Weller

Math. Struct. Comput. Sci., 2019

On the Generation of Quantified Lemmas.

[BibT_eX]

[DOI]

J. Autom. Reason., 2019

2017

CERES for first-order schemata.

[BibT_eX]

[DOI]

Nicolas Peltier

J. Log. Comput., 2017

Boolean unification with predicates.

[BibT_eX]

[DOI]

Sebastian Eberhard

J. Log. Comput., 2017

Preface.

[BibT_eX]

[DOI]

J. Log. Comput., 2017

2014

Algorithmic introduction of quantified cuts.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2014

Exposition: Synthesis via Functional Interpretation.

[BibT_eX]

[DOI]

CoRR, 2014

Introducing Quantified Cuts in Logic with Equality.

[BibT_eX]

[DOI]

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

2013

CERES for First-Order Schemata

[BibT_eX]

[DOI]

CoRR, 2013

Expansion Trees with Cut.

[BibT_eX]

[DOI]

CoRR, 2013

Cut-Elimination and Proof Schemata.

[BibT_eX]

[DOI]

Proceedings of the Logic, Language, and Computation, 2013

2012

On the complexity of proof deskolemization.

[BibT_eX]

[DOI]

Matthias Baaz

J. Symb. Log., 2012

PROOFTOOL: a GUI for the GAPT Framework.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 10th International Workshop On User Interfaces for Theorem Provers, 2012

System Feature Description: Importing Refutations into the GAPT Framework.

[BibT_eX]

[DOI]

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

Towards Algorithmic Cut-Introduction.

[BibT_eX]

[DOI]

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

2011

On the elimination of quantifier-free cuts.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2011

CERES in higher-order logic.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2011

2010

System Description: The Proof Transformation System CERES.

[BibT_eX]

[DOI]

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

2009

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

[BibT_eX]

[DOI]

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

2008

Transforming and Analyzing Proofs in the CERES-System.

[BibT_eX]

[DOI]

Proceedings of the LPAR 2008 Workshops, 2008

Herbrand Sequent Extraction.

[BibT_eX]

[DOI]