Undecidable properties of flat term rewrite systems.

Guillem Godoy Hugo Hernández

Published in: Appl. Algebra Eng. Commun. Comput. (2009)

Keyphrases

np complete
term rewrite systems
sufficient conditions
data mining
viewpoint
management system
data driven
data storage