( 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

Workshop on Automated Reasoning., and . Künstliche Intell., 3 (4): 20-21 (1989)Reducing the Derivation of Redundant Clauses in Reasoning Systems.. IJCAI, page 401-406. Morgan Kaufmann, (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)Deduktionssysteme.. BI-Wissenschaftsverlag, (1994)Detecting Redundancy Caused by Congruent Links in Clause Graphs.. GWAI, volume 216 of Informatik-Fachberichte, page 74-82. Springer, (1989)Deduction systems., and . Graduate Texts in Computer Science Springer, (1997)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)