Login / Signup

Completion of Globally Finite Term Rewriting Systems for Inductive Proofs.

Richard Göbel
Published in: GWAI (1985)
Keyphrases
  • term rewriting systems
  • functional programs
  • equational theories
  • logic programs
  • theorem proving
  • function symbols
  • finite number
  • database
  • general purpose