Alexander Leitsch

发表

Decision Procedures and Model Building in Equational Clause Logic

Christian G. Fermüller, Alexander Leitsch, 1998, Log. J. IGPL.

Resolution Decision Procedures

Christian G. Fermüller, Alexander Leitsch, Ullrich Hustadt, 2001, Handbook of Automated Reasoning.

Applications of CERES

Alexander Leitsch, Matthias Baaz, M. Baaz, 2011 .

Cut Normal Forms and Proof Complexity

Alexander Leitsch, Matthias Baaz, M. Baaz, 1999, Ann. Pure Appl. Log..

Towards CERes in intuitionistic logic

Alexander Leitsch, Bruno Woltzenlogel Paleo, Giselle Reis, 2012, CSL.

Completeness of a First-Order Temporal Logic with Time-Gaps

Alexander Leitsch, Matthias Baaz, Richard Zach, 1996, Theor. Comput. Sci..

Constraint-Based Methods

Alexander Leitsch, Ricardo Caferra, Nicholas Peltier, 2004 .

Automated Reasoning First International Joint Conference, Ijcar 2001, Siena, Italy, June 18-23, 2001 : Proceedings

Tobias Nipkow, Alexander Leitsch, Rajeev Goré, 2001 .

Comparing the Complexity of Cut-Elimination Methods

Alexander Leitsch, Matthias Baaz, 2001, Proof Theory in Computer Science.

CERES in higher-order logic

Alexander Leitsch, Daniel Weller, Stefan Hetzl, 2011, Ann. Pure Appl. Log..

Methods of Functional Extension

Alexander Leitsch, Matthias Baaz, M. Baaz, 1995 .

Semantic clash resolution as decision procedure

Christian G. Fermüller, Alexander Leitsch, Tanel Tammet, 1993 .

A Sequent-Calculus Based Formulation of the Extended First Epsilon Theorem

Alexander Leitsch, Matthias Baaz, Anela Lolic, 2018, LFCS.

Hyperresolution and Automated Model Building

Christian G. Fermüller, Alexander Leitsch, 1996, J. Log. Comput..

Schematic Refutations of Formula Schemata pdf

Alexander Leitsch, David Cerna, Anela Lolic, 2019, Journal of Automated Reasoning.

Towards Algorithmic Cut-Introduction

Alexander Leitsch, Daniel Weller, Stefan Hetzl, 2012, LPAR.

Model generation from constrained free variable tableaux

Alexander Leitsch, Rajeev Goré, D.J.N. van Eijck, 2001 .

Cut-Elimination: Syntax and Semantics

Alexander Leitsch, Matthias Baaz, 2014, Stud Logica.

System Description: CutRes 0.1: Cut Elimination by Resolution

Alexander Leitsch, Georg Moser, Matthias Baaz, 1999, CADE.

CERES for first-order schemata pdf

Alexander Leitsch, Nicolas Peltier, Daniel Weller, 2013, J. Log. Comput..

Schematic Cut Elimination and the Ordered Pigeonhole Principle

Alexander Leitsch, David M. Cerna, A. Leitsch, 2016, IJCAR.

On Different Concepts of Resolution

Alexander Leitsch, 1989, Math. Log. Q..

Semantic tree based resolution variants

Christian G. Fermüller, Alexander Leitsch, Tanel Tammet, 1993 .

A non-elementary speed-up in proof length by structural clause form transformation

Christian G. Fermüller, Alexander Leitsch, Matthias Baaz, 1994, Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science.

Cut-Elimination: Experiments with CERES

Alexander Leitsch, Matthias Baaz, Stefan Hetzl, 2005, LPAR.

Complexity of index sets and translating functions

Alexander Leitsch, 1980, Fundam. Informaticae.

Decision Procedures and Model Building, or How to Improve Logical Information in Automated Deduction

Alexander Leitsch, 1998, FTP.

Model Building by Resolution

Christian G. Fermüller, Alexander Leitsch, 1992, CSL.

On Skolemization and Proof Complexity

Alexander Leitsch, Matthias Baaz, M. Baaz, 1994, Fundam. Informaticae.

On the Complexity of Resolution

Alexander Leitsch, 1997 .

Automated Model Building

Alexander Leitsch, Ricardo Caferra, Nicholas Peltier, 2010 .

Deciding Horn Classes by Hyperresolution

Alexander Leitsch, 1989, CSL.

Introducing Quantified Cuts in Logic with Equality

Alexander Leitsch, Giselle Reis, Daniel Weller, 2014, IJCAR.

Algorithmic introduction of quantified cuts pdf

Alexander Leitsch, Giselle Reis, Daniel Weller, 2014, Theor. Comput. Sci..

Computational Logic and Proof Theory

Georg Gottlob, Alexander Leitsch, Daniele Mundici, 1997, Lecture Notes in Computer Science.

System Description: The Proof Transformation System CERES

Alexander Leitsch, Bruno Woltzenlogel Paleo, Tomer Libal, 2010, IJCAR.

A Resolution Calculus for Second-order Logic with Eager Unification

Alexander Leitsch, Tomer Libal, 2012, PAAR@IJCAR.

The problem of Pi_2-cut-introduction pdf

Alexander Leitsch, Michael Peter Lettmann, 2016, ArXiv.

A Clausal Approach to Proof Analysis in Second-Order Logic

Alexander Leitsch, Bruno Woltzenlogel Paleo, Daniel Weller, 2009, LFCS.

Proof Transformations and Structural Invariance

Alexander Leitsch, Stefan Hetzl, 2006, Algebraic and Proof-theoretic Aspects of Non-classical Logics.

CERES in Many-Valued Logics

Alexander Leitsch, Matthias Baaz, 2004, LPAR.

On the efficiency of subsumption algorithms

Georg Gottlob, Alexander Leitsch, G. Gottlob, 1985, JACM.

The Resolution Principle

Christian G. Fermüller, Alexander Leitsch, A. Leitsch, 2005 .

Ceres in intuitionistic logic

Alexander Leitsch, Giselle Reis, David Cerna, 2017, Ann. Pure Appl. Log..

Fiducial intervals for the waiting time in batch and time-sharing systems

Alexander Leitsch, 2005, Computing.

Refinements of Resolution

Alexander Leitsch, 1997 .

Proceedings of the First International Joint Conference on Automated Reasoning

Tobias Nipkow, Alexander Leitsch, Rajeev Goré, 2001 .

Fast Subsumption Algorithms

Georg Gottlob, Alexander Leitsch, 1985, European Conference on Computer Algebra.

Extraction of Expansion Trees

Alexander Leitsch, Anela Lolic, 2018, Journal of Automated Reasoning.

Resolution-Based Methods

Alexander Leitsch, Ricardo Caferra, Nicholas Peltier, 2004 .

An abstract form of the first epsilon theorem

Alexander Leitsch, Matthias Baaz, Anela Lolic, 2020, J. Log. Comput..

PROOFTOOL: a GUI for the GAPT Framework

Alexander Leitsch, Bruno Woltzenlogel Paleo, Tomer Libal, 2012, UITP.

Deciding Clause Classes by Semantic Clash Resolution

Alexander Leitsch, 1993, Fundam. Informaticae.

2001 european summer meeting of the association for symbolic logic logic colloquium'01

Alexander Leitsch, Toshiyasu Arai, Harvey Friedman, 2002 .

Towards a clausal analysis of cut-elimination

Alexander Leitsch, Matthias Baaz, M. Baaz, 2006, J. Symb. Comput..

Strong splitting rules in automated theorem proving

Alexander Leitsch, Matthias Baaz, 1987, EUROCAL.

Extensions of CERES

Alexander Leitsch, Matthias Baaz, M. Baaz, 2011 .

CERES in Nonclassical Logics

Alexander Leitsch, Matthias Baaz, M. Baaz, 2011 .

Transforming and Analyzing Proofs in the CERES-System

Alexander Leitsch, Bruno Woltzenlogel Paleo, Daniel Weller, 2008, LPAR Workshops.

Rudolf Freund, Alexander Leitsch, Gheorghe Paun, 2006, J. Autom. Lang. Comb..

A strong problem reduction method based on function introduction

Alexander Leitsch, Matthias Baaz, 1990, ISSAC '90.

CERES: An analysis of Fürstenberg's proof of the infinity of primes

Alexander Leitsch, Matthias Baaz, Stefan Hetzl, 2008, Theoretical Computer Science.

Redundancy and Deletion

Alexander Leitsch, 1997 .

Extension Methods in Automated Deduction

Alexander Leitsch, Matthias Baaz, Uwe Egly, 1998 .

Proceedings of the Third Kurt Gödel Colloquium on Computational Logic and Proof Theory

Georg Gottlob, Alexander Leitsch, Daniele Mundici, 1993 .

The Resolution Calculus

Alexander Leitsch, A. Leitsch, Alexander Leitsch, 1997, Texts in Theoretical Computer Science An EATCS Series.

Cut-Elimination and Proof Schemata

Alexander Leitsch, Daniel Weller, Mikheil Rukhaia, 2013, TbiLLC.

System Feature Description : Importing Refutations into the GAPT Framework

Alexander Leitsch, Tomer Libal, Daniel Weller, 2012 .

Resolution Methods for the Decision Problem

Christian G. Fermüller, Alexander Leitsch, Tanel Tammet, 1993, Lecture Notes in Computer Science.

Finite Model Building

Alexander Leitsch, Ricardo Caferra, Nicholas Peltier, 2004 .

Analysis of Clause set Schema Aided by Automated Theorem Proving: A Case Study [Extended Paper] pdf

Alexander Leitsch, David Cerna, 2015, ArXiv.

Towards an algorithmic construction of cut-elimination procedures

Alexander Leitsch, Agata Ciabattoni, 2008, Math. Struct. Comput. Sci..

Eine Methode zur automatischen Problemreduktion

Alexander Leitsch, Matthias Baaz, 1985, ÖGAI.

Proof Transformation by CERES

Alexander Leitsch, Matthias Baaz, Stefan Hetzl, 2006, MKM.

Resolution and the Decision Problem

Alexander Leitsch, 1999 .

Fast Cut-Elimination by Projection

Alexander Leitsch, Matthias Baaz, M. Baaz, 1996, CSL.

Implication Algorithms for Classes of Horn Clauses

Alexander Leitsch, 1988 .

A Note on the Complexity of Classical and Intuitionistic Proofs

Alexander Leitsch, Matthias Baaz, Giselle Reis, 2015, 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science.

Herbrand Sequent Extraction

Alexander Leitsch, Bruno Woltzenlogel Paleo, Daniel Weller, 2008, AISC/MKM/Calculemus.

Normal Form Transformations

Jean Goubault-Larrecq, Alexander Leitsch, David A. Plaisted, 2001, Handbook of Automated Reasoning.

Complexity of Resolution Proofs and Function Introduction

Alexander Leitsch, Matthias Baaz, M. Baaz, 1992, Ann. Pure Appl. Log..

The problem of Π2-cut-introduction

Alexander Leitsch, Michael Peter Lettmann, A. Leitsch, 2016, Theor. Comput. Sci..

The Basis of the Resolution Calculus

Alexander Leitsch, 1997 .

On the Generation of Quantified Lemmas

Alexander Leitsch, Giselle Reis, Daniel Weller, 2018, Journal of Automated Reasoning.

How to Acknowledge Hypercomputation?

Alexander Leitsch, Karl Svozil, Günter Schachner, 2007, Complex Syst..

Cut-elimination and Redundancy-elimination by Resolution

Alexander Leitsch, Matthias Baaz, M. Baaz, 2000, J. Symb. Comput..

A resolution based method for building finite models

Christian G. Fermüller, Alexander Leitsch, Tanel Tammet, 1993 .

Incompleteness of a First-Order Gödel Logic and Some Temporal Logics of Programs

Alexander Leitsch, Matthias Baaz, Richard Zach, 1995, CSL.

Technical Report : Towards Algorithmic Cut-Introduction

Alexander Leitsch, Daniel Weller, Stefan Hetzl, 2012 .

Equational Theories in CERES ?

Alexander Leitsch, Clemens Richter, 2005 .

Computational Logic and Proof Theory: Third Kurt Godel Colloquium, Kgc'93, Brno, Czech Republic, August 24-27, 1993 Proceedings

Georg Gottlob, Alexander Leitsch, Daniele Mundici, 1993 .