Reachability Problems on Regular Ground Tree Rewriting Graphs

Christof Löding. Reachability Problems on Regular Ground Tree Rewriting Graphs. Theory Comput. Syst., 39(2):347-383, 2006. [doi]

Abstract

Abstract is missing.