Login / Signup
A Case Study of Theorem Proving by the Knuth-Bendix Method: Discovering That x³=x Implies Ring Commutativity.
Mark E. Stickel
Published in:
CADE (1984)
Keyphrases
</>
theorem proving
term rewriting