• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

A Strategy to Deal with Divergent Rewrite Systems.

Paola InverardiMonica Nesi
Published in: CTRS (1992)
Keyphrases
  • rewrite systems
  • term rewriting
  • knuth bendix
  • logic programs
  • quantifier free