Termination of Innermost Context-Sensitive Rewriting Using Dependency Pairs.

Beatriz Alarcón Salvador Lucas

Published in: FroCoS (2007)

Keyphrases

context sensitive
term rewrite systems
rewrite rules
termination analysis
pairwise
context free
natural language
multiword
multiple task learning
information retrieval
language model
spelling correction
graph grammars