Login / Signup

A Simple Non-Termination Test for the Knuth-Bendix Method.

David A. Plaisted
Published in: CADE (1986)
Keyphrases
  • prior knowledge
  • machine learning
  • probabilistic model
  • term rewriting