Login / Signup
Solution to the Problem of Zantema on a Persistent Property of Term Rewriting Systems.
Takahito Aoto
Published in:
J. Funct. Log. Program. (2001)
Keyphrases
</>
term rewriting systems
optimal solution
logic programs
databases
desirable properties
functional programs
closed form