Login / Signup
Compilation of Ground Term Rewriting Systems and Applications.
Max Dauchet
Aline Deruyver
Published in:
RTA (1989)
Keyphrases
</>
term rewriting systems
logic programs
functional programs
definite clause
databases
general purpose
programming language
knowledge compilation