The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Reinhold Letz: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. Reinhold Letz
    Properties and Relations of Tableau and Connection Calculi. [Citation Graph (0, 0)][DBLP]
    Intellectics and Computational Logic, 2000, pp:245-261 [Conf]
  3. 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]
  4. Reinhold Letz
    Using Matings for Pruning Connection Tableaux. [Citation Graph (0, 0)][DBLP]
    CADE, 1998, pp:381-396 [Conf]
  5. Reinhold Letz, Gernot Stenz
    DCTP - A Disconnection Calculus Theorem Prover - System Abstract. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2001, pp:381-385 [Conf]
  6. Reinhold Letz, Gernot Stenz
    Generalised Handling of Variables in Disconnection Tableaux. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2004, pp:289-306 [Conf]
  7. Johann Schumann, Reinhold Letz
    PARTHEO: A High-Performance Parallel Theorem Prover. [Citation Graph (0, 0)][DBLP]
    CADE, 1990, pp:40-56 [Conf]
  8. 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]
  9. Andreas Wolf, Reinhold Letz
    Strategy Parallelism in Automated Theorem Proving. [Citation Graph (0, 0)][DBLP]
    FLAIRS Conference, 1998, pp:142-146 [Conf]
  10. Reinhold Letz
    On the Polynomial Transparency of Resolution. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1993, pp:123-131 [Conf]
  11. 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]
  12. 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]
  13. Ortrun Ibens, Reinhold Letz
    Subgoal Alternation in Model Elimination. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1997, pp:201-215 [Conf]
  14. Reinhold Letz
    Lemma and Model Caching in Decision Procedures for Quantified Boolean Formulas. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2002, pp:160-175 [Conf]
  15. Reinhold Letz, Klaus Mayr
    SETHEO II - The System and its Calculi. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1992, pp:49-51 [Conf]
  16. Reinhold Letz, Gernot Stenz
    Integration of Equality Reasoning into the Disconnection Calculus. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2002, pp:176-190 [Conf]
  17. Reinhold Letz, Gernot Stenz
    Universal Variables in Disconnection Tableaux. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2003, pp:117-133 [Conf]
  18. Stefan Bayerl, Reinhold Letz, Johann Schumann
    PARTHEO: A Parallel Inference Machine. [Citation Graph (0, 0)][DBLP]
    Wissensbasierte Systeme, 1989, pp:527-539 [Conf]
  19. 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]
  20. 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]
  21. 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]
  22. 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]
  23. 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]
  24. 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]
  25. 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.015secs, Finished in 0.016secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002