Abstraction of Conditional Term Rewriting Systems.

Didier Bert Rachid Echahed

Published in: ILPS (1995)

Keyphrases

term rewriting systems
logic programs
functional programs
high level
random field model
general purpose
knowledge base
management system
object oriented