Using Context-Sensitive Rewriting for Proving Innermost Termination of Rewriting.

Beatriz Alarcón Salvador Lucas

Published in: Electron. Notes Theor. Comput. Sci. (2009)

Keyphrases

context sensitive
termination analysis
presburger arithmetic
rewrite rules
information retrieval
context free
graph grammars
multiple task learning
language model
active rules
multiword
spelling correction
term rewrite systems
natural language
semi supervised
theoretical analysis