Login / Signup

Total termination of term rewriting.

Maria C. F. FerreiraHans Zantema
Published in: Appl. Algebra Eng. Commun. Comput. (1996)
Keyphrases
  • term rewriting
  • rewrite systems
  • theorem prover
  • theorem proving
  • operational semantics
  • knuth bendix
  • databases
  • first order logic
  • database
  • natural language processing
  • logic programs
  • black box