Computational Logic and Proof Theory: Third Kurt Gödel Colloquium, KGC'93 Brno, Czech Republic, August 24–27, 1993 Proceedings von Gottlob, Georg, Leitsch, Alexander, Mundici, Daniele

Volltext

Computational Logic and Proof Theory: 5th Kurt Gödel Colloquium, KGC '97 Vienna, Austria, August 25–29, 1997 Proceedings von Gottlob, Georg, Leitsch, Alexander, Mundici, Daniele

Volltext

Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18–22, 2001 Proceedings von Goré, Rajeev, Leitsch, Alexander, Nipkow, Tobias

Volltext

The problem of Π2-cut-introduction von Leitsch, Alexander, Lettmann, Michael

Volltext

Extraction of Expansion Trees von Leitsch, Alexander, Lolic, Anela

Volltext

An abstract form of the first epsilon theorem von Baaz, Matthias, Leitsch, Alexander, Lolic, Anela

Volltext

Schematic Refutations of Formula Schemata von Cerna, David M., Leitsch, Alexander, Lolic, Anela

Volltext

CERES for First-Order Schemata von Leitsch, Alexander, Peltier, Nicolas, Weller, Daniel

Volltext

On the Generation of Quantified Lemmas von Ebner, Gabriel, Hetzl, Stefan, Leitsch, Alexander, Reis, Giselle, Weller, Daniel

Volltext

Algorithmic introduction of quantified cuts von Hetzl, Stefan, Leitsch, Alexander, Reis, Giselle, Weller, Daniel

Volltext

PROOFTOOL: a GUI for the GAPT Framework von Dunchev, Cvetan, Leitsch, Alexander, Libal, Tomer, Riener, Martin, Rukhaia, Mikheil, Weller, Daniel, Woltzenlogel-Paleo, Bruno

Volltext

Schematic Refutations of Formula Schemata von Cerna, David M., Leitsch, Alexander, Lolic, Anela

Volltext

Methods of Cut-Elimination von Baaz, Matthias

Volltext

Schematic Cut Elimination and the Ordered Pigeonhole Principle von Cerna, David M., Leitsch, Alexander

Volltext

Ceres in intuitionistic logic von Cerna, David, Leitsch, Alexander, Reis, Giselle, Wolfsteiner, Simon

Volltext

CERES: An analysis of Fürstenberg’s proof of the infinity of primes von Baaz, Matthias, Hetzl, Stefan, Leitsch, Alexander, Richter, Clemens, Spohr, Hendrik

Volltext

Herbrand's Theorem in Refutation Schemata von Leitsch, Alexander, Lolic, Anela

Volltext bestellen

Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings von Gore, Rajeev, Leitsch, Alexander, Nipkow, Tobias

Volltext

Automated Model Building von Caferra, Ricardo, Leitsch, Alexander, Peltier, Nicolas

Volltext

CERES in higher-order logic von Hetzl, Stefan, Leitsch, Alexander, Weller, Daniel

Volltext