Login / Signup

Modular Termination of Term Rewriting Systems Revisited.

Maribel FernándezJean-Pierre Jouannaud
Published in: COMPASS/ADT (1994)
Keyphrases
  • term rewriting systems
  • logic programs
  • functional programs
  • database
  • management system
  • modular structure
  • high level
  • multi agent
  • nearest neighbor
  • general purpose
  • rough sets
  • rewrite systems
  • term rewrite systems