Reinhold Letz

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