Author of the publication

Detecting Redundancy Caused by Congruent Links in Clause Graphs.

. GWAI, volume 216 of Informatik-Fachberichte, page 74-82. Springer, (1989)

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.

 

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)Deduktionssysteme.. BI-Wissenschaftsverlag, (1994)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)How to Avoid the Derivation of Redundant Clauses in Reasoning Systems.. J. Autom. Reason., 9 (1): 77-97 (1992)Using Theory Resolution to Simplify Interpreted Formulae.. GWAI, volume 181 of Informatik-Fachberichte, page 179-185. Springer, (1988)Another Technique for Proving Completeness of Ground Resolution.. Bulletin of the EATCS, (1990)A Refined Version of General E-Unification.. CADE, volume 814 of Lecture Notes in Computer Science, page 665-677. Springer, (1994)