On the Halting of Tree Replacement Systems.

Abstract : A meta theorem is proved giving sufficient conditions for termination of tree replacement systems. This leads to a new proof methodology for proving termination of optimization techniques. (Author)