The SCEAS System
Navigation Menu

Search the dblp DataBase


Joachim Draeger: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Joachim Draeger
    Acquisition of Useful Lemma-Knowledge in Automated Reasoning. [Citation Graph (0, 0)][DBLP]
    AIMSA, 1998, pp:230-239 [Conf]
  2. Joachim Draeger, Stephan Schulz
    Improving the Performance of Automated Theorem Provers by Redundancy-Free Lemmatization. [Citation Graph (0, 0)][DBLP]
    FLAIRS Conference, 2001, pp:345-349 [Conf]
  3. Joachim Draeger, Andreas Wolf
    Strategy Parallelism and Lemma Evaluation. [Citation Graph (0, 0)][DBLP]
    FLAIRS Conference, 1999, pp:361-365 [Conf]
  4. Joachim Draeger
    Redundancy-Free Lemmatization in the Automated Model-Elimination Theorem Prover AI-SETHEO. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2000, pp:431-435 [Conf]
  5. Andreas Wolf, Joachim Draeger
    Strategy Parallel Use of Model Elimination with Lemmata (System Abstract). [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1999, pp:319-323 [Conf]

Search in 0.003secs, Finished in 0.003secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
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 [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002