On the Unnecessity of Multiple Overlaps in Completion Theorem Proving - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jürgen Müller, Rolf Socher-Ambrosius. On the Unnecessity of Multiple Overlaps in Completion Theorem Proving. In Wolfgang Hoeppner, editor, Künstliche Intelligenz, GWAI-88, 12. Jahrestagung, Eringerfeld, 19.-23. September 1988, Proceedings. Volume 181 of Informatik-Fachberichte, pages 169-178, Springer, 1988.

This author has not been identified. Look up 'Jürgen Müller' in GoogleThis author has not been identified. Look up 'Rolf Socher-Ambrosius' in Google

runs on WebDSL