Elmar Eder

13 papers A* 2B 1Misc 3Journal 2Unranked 3
YearRankTypeTitle / Venue / Authors
2000 — conf
The Cut Role in Theorem Proving.
Intellectics and Computational Logic
Elmar Eder
1997 J jnl
Decomposition of tautologies into regular formulas and strong completeness of connection-graph resolution.
J. ACM
Wolfgang Bibel, Elmar Eder
1996 — conf
Backward Reasoning in Systems with Cut.
AISMC
Elmar Eder
1992 — ch.
Die Rolle der mathematischen Logik in der Künstlichen Intelligenz.
Künstliche Intelligenz - Leitvorstellungen und Verantwortbarkeit (1)
Armin B. Cremers, Elmar Eder, Ralf Hinze
1992 — book
Relative complexities of first order calculi.
Elmar Eder
1991 A* conf
Consolution and its Relation with Resolution.
IJCAI
Elmar Eder
1990 Misc conf
Rule-Based Mechanism for Constraint Checking in Logic Programs.
AIMSA
Elmar Eder, Yan Liu
1988 B conf
A Comparison of the Resolution Caculus and the Connection Method, and a new Calculus Generalizing Both Methods.
CSL
Elmar Eder
1986 Misc conf
An Implementation of a PROLOG-like Theorem Prover based on the Connection Method.
AIMSA
Stefan Bayerl, Elmar Eder, Franz J. Kurfess, Reinhold Letz, Johann Schumann
1985 J jnl
Properties of Substitutions and Unifications.
J. Symb. Comput.
Elmar Eder
1984 Misc conf
An Implementation of a Theorem Prover Based on the Connection Method.
AIMSA
Elmar Eder
1983 — conf
Properties of Substitutions and Unifications.
GWAI
Elmar Eder
1983 A* conf
Towards an Advanced Implementation of the Connection Method.
IJCAI
Wolfgang Bibel, Elmar Eder, Bertram Fronhöfer
2025 Best paper conf
Assessing the Effectiveness of the Tigress Obfuscator Against MOPSA and BinaryNinja.
CheckMATE
Nicolò Altamura, Enrico Bragastini, Marco Campion, Mila Dalla Preda
2026 Best paper preprint
ASSEMBLAGE-DEEPHISTORY: A Cross-Build Binary Dataset with Temporal Coverage.
arXiv
Chang Liu, Noah Fleischmann, Nicolò Altamura, Edward Raff, James Holt, Kristopher Micinski