Login / Signup

Solving Disequations Modulo Some Class of Rewrite Systems.

Sébastien LimetPierre Réty
Published in: RTA (1998)
Keyphrases
  • rewrite systems
  • active rules
  • information systems
  • artificial intelligence
  • knowledge base
  • object oriented
  • knuth bendix