Inference Rules for Rewrite-Based First-Order Theorem Proving - researchr publication

researchr

You are not signed in
Sign in
Sign up

Leo Bachmair, Nachum Dershowitz. Inference Rules for Rewrite-Based First-Order Theorem Proving. In Proceedings, Symposium on Logic in Computer Science, 22-25 June 1987, Ithaca, New York, USA. pages 331-337, IEEE Computer Society, 1987.

Abstract is missing.

runs on WebDSL

翻译：