Elmar Eder

Publication Activity (10 Years)

Years Active: 1983-2000
Publications (10 Years): 0

Publications

Elmar Eder
The Cut Role in Theorem Proving. Intellectics and Computational Logic (2000)
Wolfgang Bibel, Elmar Eder
Decomposition of tautologies into regular formulas and strong completeness of connection-graph resolution. J. ACM 44 (2) (1997)
Elmar Eder
Backward Reasoning in Systems with Cut. AISMC (1996)
Elmar Eder
Consolution and its Relation with Resolution. IJCAI (1991)
Elmar Eder, Yan Liu
Rule-Based Mechanism for Constraint Checking in Logic Programs. AIMSA (1990)
Elmar Eder
A Comparison of the Resolution Caculus and the Connection Method, and a new Calculus Generalizing Both Methods. CSL (1988)
Stefan Bayerl, Elmar Eder, Franz J. Kurfess, Reinhold Letz, Johann Schumann
An Implementation of a PROLOG-like Theorem Prover based on the Connection Method. AIMSA (1986)
Elmar Eder
Properties of Substitutions and Unifications. J. Symb. Comput. 1 (1) (1985)
Elmar Eder
An Implementation of a Theorem Prover Based on the Connection Method. AIMSA (1984)
Elmar Eder
Properties of Substitutions and Unifications. GWAI (1983)
Wolfgang Bibel, Elmar Eder, Bertram Fronhöfer
Towards an Advanced Implementation of the Connection Method. IJCAI (1983)