Term Rewriting with Prefix Context Constraints and Bottom-Up Strategies.

Florent Jacquemard Yoshiharu Kojima Masahiko Sakai

Published in: CADE (2015)

Keyphrases

term rewriting
data structure
context aware
contextual information
machine learning
databases
constraint satisfaction