Login / Signup

New Undecidability Results for Properties of Term Rewrite Systems.

Rakesh M. Verma
Published in: Electron. Notes Theor. Comput. Sci. (2012)
Keyphrases
  • term rewrite systems
  • viewpoint
  • management system
  • data driven
  • building blocks
  • query evaluation