Login / Signup
Decidability of Innermost Termination and Context-Sensitive Termination for Semi-Constructor Term Rewriting Systems.
Keita Uchiyama
Masahiko Sakai
Toshiki Sakabe
Published in:
Electron. Notes Theor. Comput. Sci. (2008)
Keyphrases
</>
context sensitive
term rewriting systems
type checking
natural language
graph grammars
information retrieval
context free
multiple task learning
logic programs
active rules
learning algorithm
spelling correction