Rolf Socher-Ambrosius

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