Login / Signup
Disproving Confluence of Term Rewriting Systems by Interpretation and Ordering.
Takahito Aoto
Published in:
FroCos (2013)
Keyphrases
</>
term rewriting systems
logic programs
functional programs
image interpretation
partial order
databases
data structure
multi agent systems
object oriented
logic programming
semantic interpretation