Levels of undecidability in rewriting.

Jörg Endrullis Herman Geuvers Jakob Grue Simonsen Hans Zantema

Published in: Inf. Comput. (2011)

Keyphrases

information systems
website
database
machine learning
high level
dynamic programming
levels of abstraction
high levels
query rewriting
rewrite rules
lower levels
rewriting rules