Craig Interpolation with Clausal First-Order Tableaux von Wernhard, Christoph

Volltext

Synthesizing nested relational queries from implicit specifications: via model theory and via proof theory von Benedikt, Michael, Pradic, Cécilia, Wernhard, Christoph

Volltext

Investigations into Proof Structures: Investigations into Proof Structures von Wernhard, Christoph, Bibel, Wolfgang

Volltext

Facets of the PIE Environment for Proving, Interpolating and Eliminating on the Basis of First-Order Logic von Wernhard, Christoph

Volltext

Projection and scope-determined circumscription von Wernhard, Christoph

Volltext

Second-Order Quantifier Elimination on Relational Monadic Formulas – A Basic Method and Some Less Expected Applications von Wernhard, Christoph

Volltext

The Boolean Solution Problem from the Perspective of Predicate Logic von Wernhard, Christoph

Volltext

Range-Restricted Interpolation through Clausal Tableaux von Wernhard, Christoph

Volltext

KBSET – Knowledge-Based Support for Scholarly Editing and Text Processing with Declarative Markup and a Core Written in SWI-Prolog von Kittelmann, Jana, Wernhard, Christoph

Volltext

Generating Compressed Combinatory Proof Structures -- An Approach to Automated First-Order Theorem Proving von Wernhard, Christoph

Volltext bestellen

CD Tools -- Condensed Detachment and Structure Generating Theorem Proving (System Description) von Wernhard, Christoph

Volltext bestellen

Investigations into Proof Structures von Wernhard, Christoph, Bibel, Wolfgang

Volltext

Applying Second-Order Quantifier Elimination in Inspecting G\"odel's Ontological Proof von Wernhard, Christoph

Volltext bestellen

Synthesizing Strongly Equivalent Logic Programs: Beth Definability for Answer Set Programs via Craig Interpolation in First-Order Logic von Heuer, Jan, Wernhard, Christoph

Volltext

Craig Interpolation with Clausal First-Order Tableaux von Wernhard, Christoph

Volltext

Abduction in Logic Programming as Second-Order Quantifier Elimination von Wernhard, Christoph

Volltext

Semantic Knowledge Partitioning von Wernhard, Christoph

Volltext

Computing with Logic as Operator Elimination: The ToyElim System von Wernhard, Christoph

Volltext

Facets of the PIE Environment for Proving, Interpolating and Eliminating on the Basis of First-Order Logic von Wernhard, Christoph

Volltext

PIE -- Proving, Interpolating and Eliminating on the Basis of First-Order Logic von Wernhard, Christoph

Volltext bestellen