|
Search the dblp DataBase
Rolf Socher-Ambrosius:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Rolf Socher-Ambrosius
A Goal Oriented Strategy Based on Completion. [Citation Graph (0, 0)][DBLP] ALP, 1992, pp:435-445 [Conf]
- Rolf Socher-Ambrosius
A Refined Version of General E-Unification. [Citation Graph (0, 0)][DBLP] CADE, 1994, pp:665-677 [Conf]
- Patricia Johann, Rolf Socher-Ambrosius
Solving Simplification Ordering Constraints. [Citation Graph (0, 0)][DBLP] CCL, 1994, pp:352-367 [Conf]
- Rolf Socher-Ambrosius
Reducing the Derivation of Redundant Clauses in Reasoning Systems. [Citation Graph (0, 0)][DBLP] IJCAI, 1989, pp:401-406 [Conf]
- Jürgen Müller, Rolf Socher-Ambrosius
On the Unnecessity of Multiple Overlaps in Completion Theorem Proving. [Citation Graph (0, 0)][DBLP] GWAI, 1988, pp:169-178 [Conf]
- Jürgen Müller, Rolf Socher-Ambrosius
A Resolution Calculus Extende by Equivalence. [Citation Graph (0, 0)][DBLP] GWAI, 1989, pp:102-106 [Conf]
- Rolf Socher-Ambrosius
Using Theory Resolution to Simplify Interpreted Formulae. [Citation Graph (0, 0)][DBLP] GWAI, 1988, pp:179-185 [Conf]
- Rolf Socher-Ambrosius
Detecting Redundancy Caused by Congruent Links in Clause Graphs. [Citation Graph (0, 0)][DBLP] GWAI, 1989, pp:74-82 [Conf]
- Rolf Socher-Ambrosius
Unification in Order-Sorted Logic With Term Declarations. [Citation Graph (0, 0)][DBLP] LPAR, 1993, pp:301-308 [Conf]
- Rolf Socher-Ambrosius
Boolean Algebra Admits No Convergent Term Rewriting System. [Citation Graph (0, 0)][DBLP] RTA, 1991, pp:264-274 [Conf]
- Rolf Socher-Ambrosius
Another Technique for Proving Completeness of Ground Resolution. [Citation Graph (0, 0)][DBLP] Bulletin of the EATCS, 1990, v:42, n:, pp:187-189 [Journal]
- Rolf Socher-Ambrosius
How to Avoid the Derivation of Redundant Clauses in Reasoning Systems. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1992, v:9, n:1, pp:77-97 [Journal]
- Jürgen Müller, Rolf Socher-Ambrosius
Workshop on Automated Reasoning. [Citation Graph (0, 0)][DBLP] KI, 1989, v:3, n:4, pp:20-21 [Journal]
Search in 0.002secs, Finished in 0.002secs
|