Login / Signup

On interreduction of semi-complete term rewriting systems.

Bernhard Gramlich
Published in: Theor. Comput. Sci. (2001)
Keyphrases
  • term rewriting systems
  • logic programs
  • management system
  • database management systems
  • functional programs