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