Login / Signup

Remarks on Thatte's transformation of term rewriting systems.

Bas LuttikPiet RodenburgRakesh M. Verma
Published in: Inf. Comput. (2004)
Keyphrases
  • term rewriting systems
  • logic programs
  • functional programs
  • databases
  • database systems