Login / Signup
Termination of S-Expression Rewriting Systems: Lexicographic Path Ordering for Higher-Order Terms.
Yoshihito Toyama
Published in:
RTA (2004)
Keyphrases
</>
higher order
rewriting systems
database systems
pairwise
database
data model
storage and retrieval
rewriting rules