Login / Signup

Decidability of Innermost Termination and Context-Sensitive Termination for Semi-Constructor Term Rewriting Systems.

Keita UchiyamaMasahiko SakaiToshiki 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