Rolf Socher-Ambrosius

Publication Activity (10 Years)

Years Active: 1988-1994
Publications (10 Years): 0

Publications

Patricia Johann, Rolf Socher-Ambrosius
Solving Simplification Ordering Constraints. CCL (1994)
Rolf Socher-Ambrosius
A Refined Version of General E-Unification. CADE (1994)
Rolf Socher-Ambrosius
Unification in Order-Sorted Logic With Term Declarations. LPAR (1993)
Rolf Socher-Ambrosius
A Goal Oriented Strategy Based on Completion. ALP (1992)
Rolf Socher-Ambrosius
How to Avoid the Derivation of Redundant Clauses in Reasoning Systems. J. Autom. Reason. 9 (1) (1992)
Rolf Socher-Ambrosius
Boolean Algebra Admits No Convergent Term Rewriting System. RTA (1991)
Rolf Socher-Ambrosius
Another Technique for Proving Completeness of Ground Resolution. Bull. EATCS 42 (1990)
Rolf Socher-Ambrosius
Detecting Redundancy Caused by Congruent Links in Clause Graphs. GWAI (1989)
Rolf Socher-Ambrosius
Reducing the Derivation of Redundant Clauses in Reasoning Systems. IJCAI (1989)
Jürgen Müller, Rolf Socher-Ambrosius
Workshop on Automated Reasoning. Künstliche Intell. 3 (4) (1989)
Jürgen Müller, Rolf Socher-Ambrosius
A Resolution Calculus Extende by Equivalence. GWAI (1989)
Rolf Socher-Ambrosius
Using Theory Resolution to Simplify Interpreted Formulae. GWAI (1988)
Jürgen Müller, Rolf Socher-Ambrosius
On the Unnecessity of Multiple Overlaps in Completion Theorem Proving. GWAI (1988)