Login / Signup

Could Orders Be Captured By Term Rewriting Systems?

Sergei G. Vorobyov
Published in: CTRS (1992)
Keyphrases
  • term rewriting systems
  • logic programs
  • functional programs
  • database
  • total order
  • logic programming
  • search procedure