Deciding confluence of certain term rewriting systems in polynomial time
Under an Elsevier user license
open archive
Keywords
Term rewriting
Confluence
Ground rewrite systems
Shallow linear rewrite systems
Cited by (0)
Copyright © 2004 Elsevier Ltd. All rights reserved.