( en | de | ru )

 

Disambiguation of "Socher-Ambrosius, Rolf"

Author of the publication

copydeleteadd this publication to your clipboard
On the Unnecessity of Multiple Overlaps in Completion Theorem Proving.

, and . GWAI, volume 181 of Informatik-Fachberichte, page 169-178. Springer, (1988)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Rolf Socher

Heinrich Socher

Karin Socher

Michaela Socher

Elke Socher

 

Other publications of authors with the same name

Reducing the Derivation of Redundant Clauses in Reasoning Systems.. IJCAI, page 401-406. Morgan Kaufmann, (1989)Detecting Redundancy Caused by Congruent Links in Clause Graphs.. GWAI, volume 216 of Informatik-Fachberichte, page 74-82. Springer, (1989)Boolean Algebra Admits No Convergent Term Rewriting System.. RTA, volume 488 of Lecture Notes in Computer Science, page 264-274. Springer, (1991)Unification in Order-Sorted Logic With Term Declarations.. LPAR, volume 698 of Lecture Notes in Computer Science, page 301-308. Springer, (1993)On the Unnecessity of Multiple Overlaps in Completion Theorem Proving., and . GWAI, volume 181 of Informatik-Fachberichte, page 169-178. Springer, (1988)A Resolution Calculus Extende by Equivalence., and . GWAI, volume 216 of Informatik-Fachberichte, page 102-106. Springer, (1989)A Goal Oriented Strategy Based on Completion.. ALP, volume 632 of Lecture Notes in Computer Science, page 435-445. Springer, (1992)Using Theory Resolution to Simplify Interpreted Formulae.. GWAI, volume 181 of Informatik-Fachberichte, page 179-185. Springer, (1988)Solving Simplification Ordering Constraints., and . CCL, volume 845 of Lecture Notes in Computer Science, page 352-367. Springer, (1994)A Refined Version of General E-Unification.. CADE, volume 814 of Lecture Notes in Computer Science, page 665-677. Springer, (1994)