Login / Signup

Testing for the Ground (Co-)Reducibility Property in Term-Rewriting Systems.

Emmanuel Kounalis
Published in: Theor. Comput. Sci. (1992)
Keyphrases
  • term rewriting systems
  • functional programs
  • logic programs
  • test cases
  • databases
  • desirable properties
  • definite clause