mu-term: A Tool for Proving Termination of Context-Sensitive Rewriting.

Published in: RTA (2004)

Keyphrases

context sensitive
multiword
language model
term rewrite systems
rewrite rules
context free
graph grammars
multiple task learning
natural language
text mining
learning algorithm
multi task learning
termination analysis