Termination of (Canonical) Context-Sensitive Rewriting.

Published in: RTA (2002)

Keyphrases

context sensitive
termination analysis
active rules
active databases
information retrieval
language model
multiple task learning
natural language
context free
spelling correction
rewrite rules
graph grammars
k means