A Reduction-Preserving Completion for Proving Confluence of Non-Terminating Term Rewriting Systems.

Takahito Aoto Yoshihito Toyama

Published in: RTA (2011)

Keyphrases

term rewriting systems
logic programs
functional programs
machine learning
data model
databases
database systems
reduction method