Login / Signup
Proving Termination of Context-Sensitive Rewriting with MU-TERM.
Beatriz Alarcón
Raúl Gutiérrez
José Iborra
Salvador Lucas
Published in:
Electron. Notes Theor. Comput. Sci. (2007)
Keyphrases
</>
context sensitive
term rewrite systems
rewrite rules
termination analysis
multiword
language model
multiple task learning
natural language
context free
information retrieval
data mining
graph grammars
statistical model