Polynomials for Proving Termination of Context-Sensitive Rewriting.

Published in: FoSSaCS (2004)

Keyphrases

context sensitive
term rewrite systems
rewrite rules
termination analysis
language model
active rules
multiple task learning
active databases
spelling correction
multiword
context free
inductive learning