Rolf Socher-Ambrosius
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
4
Active years
1988–1994
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1994 | CADE | A Refined Version of General E-Unification. | Rolf Socher-Ambrosius |
| 1993 | LPAR | Unification in Order-Sorted Logic With Term Declarations. | Rolf Socher-Ambrosius |
| 1989 | IJCAI | Reducing the Derivation of Redundant Clauses in Reasoning Systems. | Rolf Socher-Ambrosius |
| 1989 | KI | A Resolution Calculus Extende by Equivalence. | Jrgen Mller, Rolf Socher-Ambrosius |
| 1989 | KI | Detecting Redundancy Caused by Congruent Links in Clause Graphs. | Rolf Socher-Ambrosius |
| 1988 | KI | On the Unnecessity of Multiple Overlaps in Completion Theorem Proving. | Jrgen Mller, Rolf Socher-Ambrosius |
| 1988 | KI | Using Theory Resolution to Simplify Interpreted Formulae. | Rolf Socher-Ambrosius |