Login / Signup
Persistence of Semi-Completeness for Term Rewriting Systems.
Munehiro Iwami
Published in:
Artificial Intelligence and Applications (2005)
Keyphrases
</>
term rewriting systems
logic programs
functional programs
database
database systems
search space
management system