Reinhold Letz

Publication Activity (10 Years)

Years Active: 1986-2007
Publications (10 Years): 0

Darmstadt University of Technology, Germany (PHD)

Education History

Darmstadt University of Technology, Germany

PHD

Publications

Reinhold Letz, Gernot Stenz
The Disconnection Tableau Calculus. J. Autom. Reason. 38 (1-3) (2007)
Reinhold Letz, Gernot Stenz
Generalised Handling of Variables in Disconnection Tableaux. IJCAR (2004)
Reinhold Letz, Gernot Stenz
Universal Variables in Disconnection Tableaux. TABLEAUX (2003)
Reinhold Letz, Gernot Stenz
Integration of Equality Reasoning into the Disconnection Calculus. TABLEAUX (2002)
Reinhold Letz
Lemma and Model Caching in Decision Procedures for Quantified Boolean Formulas. TABLEAUX (2002)
Reinhold Letz, Gernot Stenz
DCTP - A Disconnection Calculus Theorem Prover - System Abstract. IJCAR (2001)
Reinhold Letz, Gernot Stenz
Automated Theorem Proving Proof and Model Generation with Disconnection Tableaux. LPAR (2001)
Reinhold Letz
Properties and Relations of Tableau and Connection Calculi. Intellectics and Computational Logic (2000)
Andreas Wolf, Reinhold Letz
Strategy Parallelism in Automated Theorem Proving. Int. J. Pattern Recognit. Artif. Intell. 13 (2) (1999)
Reinhold Letz
Using Matings for Pruning Connection Tableaux. CADE (1998)
Reinhold Letz, Christoph Weidenbach
Paradigmen und Perspektiven der automatischen Deduktion. Künstliche Intell. 12 (4) (1998)
Andreas Wolf, Reinhold Letz
Strategy Parallelism in Automated Theorem Proving. FLAIRS Conference (1998)
Max Moser, Ortrun Ibens, Reinhold Letz, Joachim Steinbach, Christoph Goller, Johann Schumann, Klaus Mayr
SETHEO and E-SETHEO - The CADE-13 Systems. J. Autom. Reason. 18 (2) (1997)
Reinhold Letz
LINUS - A Link Instantion Prover with Unit Support. J. Autom. Reason. 18 (2) (1997)
Ortrun Ibens, Reinhold Letz
Subgoal Alternation in Model Elimination. TABLEAUX (1997)
Christoph Goller, Reinhold Letz, Klaus Mayr, Johann Schumann
SETHEO V3.2: Recent Developments - System Abstract. CADE (1994)
Reinhold Letz, Klaus Mayr, Christoph Goller
Cotrolled Integration of the Cut Rule into Connection Tableaux Calculi. J. Autom. Reason. 13 (3) (1994)
Reinhold Letz
On the Polynomial Transparency of Resolution. IJCAI (1993)
Reinhold Letz, Klaus Mayr
SETHEO II - The System and its Calculi. TABLEAUX (1992)
Reinhold Letz
Connection tableaux and their relation with linear resolution Forschungsberichte, TU Munich (1992)
Reinhold Letz
On the polynomial transparency of resolution Forschungsberichte, TU Munich (1992)
Reinhold Letz, Johann Schumann, Stefan Bayerl, Wolfgang Bibel
SETHEO: A High-Performance Theorem Prover. J. Autom. Reason. 8 (2) (1992)
Reinhold Letz, Klaus Mayr
Proof schemata in propositional calculi Forschungsberichte, TU Munich (1990)
Johann Schumann, Reinhold Letz, Franz J. Kurfess
Tutorial on High-Performance Theorem Provers: Efficient Implementation and Parallelisation. CADE (1990)
Johann Schumann, Reinhold Letz
PARTHEO: A High-Performance Parallel Theorem Prover. CADE (1990)
Johann Schumann, Reinhold Letz
PARTHEO: a high performance parallel theorem prover Forschungsberichte, TU Munich (1990)
Wolfgang Ertel, Franz J. Kurfess, Reinhold Letz, Xavier Pandolfi
PARTHEO: A Parallel Inference Machine. PARLE (1) (1989)
Reinhold Letz
Classical negation in logic programming Forschungsberichte, TU Munich (1989)
Stefan Bayerl, Reinhold Letz, Johann Schumann
PARTHEO: A Parallel Inference Machine. Wissensbasierte Systeme (1989)
Reinhold Letz
Expressing first order logic within Horn Clause logic Forschungsberichte, TU Munich (1988)
Stefan Bayerl, Elmar Eder, Franz J. Kurfess, Reinhold Letz, Johann Schumann
An Implementation of a PROLOG-like Theorem Prover based on the Connection Method. AIMSA (1986)

Reinhold Letz.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Reinhold Letz