Search the dblp DataBase
Reinhold Letz :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Stefan Bayerl , Elmar Eder , Franz J. Kurfess , Reinhold Letz , Johann Schumann An Implementation of a PROLOG-like Theorem Prover based on the Connection Method. [Citation Graph (0, 0)][DBLP ] AIMSA, 1986, pp:29-36 [Conf ] Reinhold Letz Properties and Relations of Tableau and Connection Calculi. [Citation Graph (0, 0)][DBLP ] Intellectics and Computational Logic, 2000, pp:245-261 [Conf ] Christoph Goller , Reinhold Letz , Klaus Mayr , Johann Schumann SETHEO V3.2: Recent Developments - System Abstract. [Citation Graph (0, 0)][DBLP ] CADE, 1994, pp:778-782 [Conf ] Reinhold Letz Using Matings for Pruning Connection Tableaux. [Citation Graph (0, 0)][DBLP ] CADE, 1998, pp:381-396 [Conf ] Reinhold Letz , Gernot Stenz DCTP - A Disconnection Calculus Theorem Prover - System Abstract. [Citation Graph (0, 0)][DBLP ] IJCAR, 2001, pp:381-385 [Conf ] Reinhold Letz , Gernot Stenz Generalised Handling of Variables in Disconnection Tableaux. [Citation Graph (0, 0)][DBLP ] IJCAR, 2004, pp:289-306 [Conf ] Johann Schumann , Reinhold Letz PARTHEO: A High-Performance Parallel Theorem Prover. [Citation Graph (0, 0)][DBLP ] CADE, 1990, pp:40-56 [Conf ] Johann Schumann , Reinhold Letz , Franz J. Kurfess Tutorial on High-Performance Theorem Provers: Efficient Implementation and Parallelisation. [Citation Graph (0, 0)][DBLP ] CADE, 1990, pp:683- [Conf ] Andreas Wolf , Reinhold Letz Strategy Parallelism in Automated Theorem Proving. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 1998, pp:142-146 [Conf ] Reinhold Letz On the Polynomial Transparency of Resolution. [Citation Graph (0, 0)][DBLP ] IJCAI, 1993, pp:123-131 [Conf ] Reinhold Letz , Gernot Stenz Automated Theorem Proving Proof and Model Generation with Disconnection Tableaux. [Citation Graph (0, 0)][DBLP ] LPAR, 2001, pp:142-156 [Conf ] Wolfgang Ertel , Franz J. Kurfess , Reinhold Letz , X. Pandolfi PARTHEO: A Parallel Inference Machine. [Citation Graph (0, 0)][DBLP ] PARLE (1), 1989, pp:458-476 [Conf ] Ortrun Ibens , Reinhold Letz Subgoal Alternation in Model Elimination. [Citation Graph (0, 0)][DBLP ] TABLEAUX, 1997, pp:201-215 [Conf ] Reinhold Letz Lemma and Model Caching in Decision Procedures for Quantified Boolean Formulas. [Citation Graph (0, 0)][DBLP ] TABLEAUX, 2002, pp:160-175 [Conf ] Reinhold Letz , Klaus Mayr SETHEO II - The System and its Calculi. [Citation Graph (0, 0)][DBLP ] TABLEAUX, 1992, pp:49-51 [Conf ] Reinhold Letz , Gernot Stenz Integration of Equality Reasoning into the Disconnection Calculus. [Citation Graph (0, 0)][DBLP ] TABLEAUX, 2002, pp:176-190 [Conf ] Reinhold Letz , Gernot Stenz Universal Variables in Disconnection Tableaux. [Citation Graph (0, 0)][DBLP ] TABLEAUX, 2003, pp:117-133 [Conf ] Stefan Bayerl , Reinhold Letz , Johann Schumann PARTHEO: A Parallel Inference Machine. [Citation Graph (0, 0)][DBLP ] Wissensbasierte Systeme, 1989, pp:527-539 [Conf ] Andreas Wolf , Reinhold Letz Strategy Parallelism in Automated Theorem Proving. [Citation Graph (0, 0)][DBLP ] IJPRAI, 1999, v:13, n:2, pp:219-245 [Journal ] Reinhold Letz LINUS - A Link Instantion Prover with Unit Support. [Citation Graph (0, 0)][DBLP ] J. Autom. Reasoning, 1997, v:18, n:2, pp:205-210 [Journal ] Reinhold Letz , Klaus Mayr , Christoph Goller Cotrolled Integration of the Cut Rule into Connection Tableaux Calculi. [Citation Graph (0, 0)][DBLP ] J. Autom. Reasoning, 1994, v:13, n:3, pp:297-337 [Journal ] Reinhold Letz , Johann Schumann , Stefan Bayerl , Wolfgang Bibel SETHEO: A High-Performance Theorem Prover. [Citation Graph (0, 0)][DBLP ] J. Autom. Reasoning, 1992, v:8, n:2, pp:183-212 [Journal ] Max Moser , Ortrun Ibens , Reinhold Letz , Joachim Steinbach , Christoph Goller , Johann Schumann , Klaus Mayr SETHEO and E-SETHEO - The CADE-13 Systems. [Citation Graph (0, 0)][DBLP ] J. Autom. Reasoning, 1997, v:18, n:2, pp:237-246 [Journal ] Reinhold Letz , Christoph Weidenbach Paradigmen und Perspektiven der automatischen Deduktion. [Citation Graph (0, 0)][DBLP ] KI, 1998, v:12, n:4, pp:15-19 [Journal ] Reinhold Letz , Gernot Stenz The Disconnection Tableau Calculus. [Citation Graph (0, 0)][DBLP ] J. Autom. Reasoning, 2007, v:38, n:1-3, pp:79-126 [Journal ] Search in 0.002secs, Finished in 0.003secs