Deciding the confluence of ordered term rewrite systems.

Hubert Comon Paliath Narendran Robert Nieuwenhuis Michaël Rusinowitch

Published in: ACM Trans. Comput. Log. (2003)

Keyphrases

term rewrite systems
rewrite rules
database systems
data model
management system
data management
data objects
rewrite systems