A Comparison of the Resolution Caculus and the Connection Method, and a new Calculus Generalizing Both Methods - researchr publication

researchr

You are not signed in
Sign in
Sign up

Elmar Eder. A Comparison of the Resolution Caculus and the Connection Method, and a new Calculus Generalizing Both Methods. In Egon Börger, Hans Kleine Büning, Michael M. Richter, editors, CSL 88, 2nd Workshop on Computer Science Logic, Duisburg, Germany, October 3-7, 1988, Proceedings. Volume 385 of Lecture Notes in Computer Science, pages 80-98, Springer, 1988.

Abstract is missing.

runs on WebDSL