Login / Signup

Term rewriting systems with sort priorities.

Zhiqing ShaoGuoxin Song
Published in: Int. J. Comput. Math. (1995)
Keyphrases
  • term rewriting systems
  • logic programs
  • functional programs
  • high priority
  • higher priority
  • database
  • databases
  • machine learning
  • query language
  • response time
  • logic programming