Modular termination of context-sensitive rewriting.

Bernhard Gramlich Salvador Lucas

Published in: PPDP (2002)

Keyphrases

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