Login / Signup

Rewrite Method for Theorem Proving in First Order Theory with Equality.

Jieh Hsiang
Published in: J. Symb. Comput. (1987)
Keyphrases
  • theorem proving
  • first order logic
  • automatic programming
  • automated reasoning
  • consequence finding