Login / Signup
A Reduction-Preserving Completion for Proving Confluence of Non-Terminating Term Rewriting Systems
Takahito Aoto
Yoshihito Toyama
Published in:
Log. Methods Comput. Sci. (2012)
Keyphrases
</>
term rewriting systems
logic programs
functional programs
artificial intelligence
databases
high level
data structure
xml documents
distributed systems
query evaluation
reduction method
concept formation