Login / Signup
Constructor Equivalent Term Rewriting Systems.
Irène Durand
Bruno Salinier
Published in:
Inf. Process. Lett. (1993)
Keyphrases
</>
term rewriting systems
logic programs
functional programs
logic programming