Travelled to:
1 × Germany
Collaborated with:
∅
Talks about:
method (2) comparison (1) calculus (1) resolut (1) general (1) connect (1) caculus (1) both (1) new (1)
Person: Elmar Eder
DBLP: Eder:Elmar
Contributed to:
Wrote 1 papers:
- CSL-1988-Eder #calculus #comparison
- A Comparison of the Resolution Caculus and the Connection Method, and a new Calculus Generalizing Both Methods (EE), pp. 80–98.