The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Elmar Eder: [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. Elmar Eder
    An Implementation of a Theorem Prover Based on the Connection Method. [Citation Graph (0, 0)][DBLP]
    AIMSA, 1984, pp:121-128 [Conf]
  3. Elmar Eder, Yan Liu
    Rule-Based Mechanism for Constraint Checking in Logic Programs. [Citation Graph (0, 0)][DBLP]
    AIMSA, 1990, pp:149-158 [Conf]
  4. Elmar Eder
    Backward Reasoning in Systems with Cut. [Citation Graph (0, 0)][DBLP]
    AISMC, 1996, pp:339-353 [Conf]
  5. Elmar Eder
    The Cut Role in Theorem Proving. [Citation Graph (0, 0)][DBLP]
    Intellectics and Computational Logic, 2000, pp:101-123 [Conf]
  6. Elmar Eder
    A Comparison of the Resolution Caculus and the Connection Method, and a new Calculus Generalizing Both Methods. [Citation Graph (0, 0)][DBLP]
    CSL, 1988, pp:80-98 [Conf]
  7. Wolfgang Bibel, Elmar Eder, Bertram Fronhöfer
    Towards an Advanced Implementation of the Connection Method. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1983, pp:920-922 [Conf]
  8. Elmar Eder
    Consolution and its Relation with Resolution. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1991, pp:132-136 [Conf]
  9. Elmar Eder
    Properties of Substitutions and Unifications. [Citation Graph (0, 0)][DBLP]
    GWAI, 1983, pp:197-206 [Conf]
  10. Wolfgang Bibel, Elmar Eder
    Decomposition of tautologies into regular formulas and strong completeness of connection-graph resolution. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1997, v:44, n:2, pp:320-344 [Journal]
  11. Elmar Eder
    Properties of Substitutions and Unifications. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1985, v:1, n:1, pp:31-46 [Journal]

Search in 0.002secs, Finished in 0.003secs
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