Reinhold Letz

According to our database, Reinhold Letz authored at least 30 papers between 1986 and 2007.

Collaborative distances:

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

2007

The Disconnection Tableau Calculus.

Reinhold Letz, Gernot Stenz

J. Autom. Reason., 2007

2004

Generalised Handling of Variables in Disconnection Tableaux.

Reinhold Letz, Gernot Stenz

Proceedings of the Automated Reasoning - Second International Joint Conference, 2004

2003

Universal Variables in Disconnection Tableaux.

Reinhold Letz, Gernot Stenz

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2003

2002

Integration of Equality Reasoning into the Disconnection Calculus.

Reinhold Letz, Gernot Stenz

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2002

Lemma and Model Caching in Decision Procedures for Quantified Boolean Formulas.

Reinhold Letz

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2002

2001

Automated Theorem Proving Proof and Model Generation with Disconnection Tableaux.

Reinhold Letz, Gernot Stenz

Proceedings of the Logic for Programming, 2001

DCTP - A Disconnection Calculus Theorem Prover - System Abstract.

Reinhold Letz, Gernot Stenz

Proceedings of the Automated Reasoning, First International Joint Conference, 2001

Model Elimination and Connection Tableau Procedures.

Reinhold Letz, Gernot Stenz

Proceedings of the Handbook of Automated Reasoning (in 2 volumes), 2001

2000

Properties and Relations of Tableau and Connection Calculi.

Reinhold Letz

Proceedings of the Intellectics and Computational Logic (to Wolfgang Bibel on the occasion of his 60th birthday), 2000

1999

Strategy Parallelism in Automated Theorem Proving.

Andreas Wolf, Reinhold Letz

Int. J. Pattern Recognit. Artif. Intell., 1999

1998

Paradigmen und Perspektiven der automatischen Deduktion.

Reinhold Letz, Christoph Weidenbach

Künstliche Intell., 1998

Using Matings for Pruning Connection Tableaux.

Reinhold Letz

Proceedings of the Automated Deduction, 1998

1997

SETHEO and E-SETHEO - The CADE-13 Systems.

Max Moser, Ortrun Ibens, Reinhold Letz, Joachim Steinbach, Christoph Goller, Johann Schumann, Klaus Mayr

J. Autom. Reason., 1997

LINUS - A Link Instantion Prover with Unit Support.

Reinhold Letz

J. Autom. Reason., 1997

Subgoal Alternation in Model Elimination.

Ortrun Ibens, Reinhold Letz

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1997

1994

Cotrolled Integration of the Cut Rule into Connection Tableaux Calculi.

Reinhold Letz, Klaus Mayr, Christoph Goller

J. Autom. Reason., 1994

SETHEO V3.2: Recent Developments - System Abstract.

Christoph Goller, Reinhold Letz, Klaus Mayr, Johann Schumann

Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994

1993

First-order calculi and proof procedures for automated deduction.

Reinhold Letz

PhD thesis, 1993

1992

On the polynomial transparency of resolution

Reinhold Letz

Forschungsberichte, TU Munich, 1992

Connection tableaux and their relation with linear resolution

Reinhold Letz

Forschungsberichte, TU Munich, 1992

SETHEO: A High-Performance Theorem Prover.

Reinhold Letz, Johann Schumann, Stefan Bayerl, Wolfgang Bibel

J. Autom. Reason., 1992

SETHEO II - The System and its Calculi.

Reinhold Letz, Klaus Mayr

Proceedings of the Workshop Theorem Proving with Analytic Tableaux and Related Methods, 1992

1990

PARTHEO: a high performance parallel theorem prover

Johann Schumann, Reinhold Letz

Forschungsberichte, TU Munich, 1990

Proof schemata in propositional calculi

Reinhold Letz, Klaus Mayr

Forschungsberichte, TU Munich, 1990

Tutorial on High-Performance Theorem Provers: Efficient Implementation and Parallelisation.

Johann Schumann, Reinhold Letz, Franz J. Kurfess

Proceedings of the 10th International Conference on Automated Deduction, 1990

1989

Classical negation in logic programming

Reinhold Letz

Forschungsberichte, TU Munich, 1989

PARTHEO: A Parallel Inference Machine.

Stefan Bayerl, Reinhold Letz, Johann Schumann

Proceedings of the Wissensbasierte Systeme, 1989

PARTHEO: A Parallel Inference Machine.

Wolfgang Ertel, Franz J. Kurfess, Reinhold Letz, Xavier Pandolfi

Proceedings of the PARLE '89: Parallel Architectures and Languages Europe, 1989

1988

Expressing first order logic within Horn Clause logic

Reinhold Letz

Forschungsberichte, TU Munich, 1988

1986

An Implementation of a PROLOG-like Theorem Prover based on the Connection Method.

Stefan Bayerl, Elmar Eder, Franz J. Kurfess, Reinhold Letz, Johann Schumann

Proceedings of the Artificial Intelligence II: Methodology, Systems, Applications, 1986