Login / Signup
Solving Disequations Modulo Some Class of Rewrite Systems.
Sébastien Limet
Pierre Réty
Published in:
RTA (1998)
Keyphrases
</>
rewrite systems
active rules
information systems
artificial intelligence
knowledge base
object oriented
knuth bendix