Login / Signup
Persistence of Termination for Right-Linear Overlay Term Rewriting Systems.
Munehiro Iwami
Published in:
Artificial Intelligence and Applications (2005)
Keyphrases
</>
term rewriting systems
functional programs
logic programs
database
overlay network
intelligent agents