9cd6c39a7caa519c.tex
1: \begin{abstract}
2:   In this extended abstract, we present a simple approach to
3:   convergence on term graphs that allows us to unify term graph
4:   rewriting and infinitary term rewriting. This approach is based on a
5:   partial order and a metric on term graphs. These structures arise as
6:   straightforward generalisations of the corresponding structures used
7:   in infinitary term rewriting.  We compare our simple approach to a
8:   more complicated approach that we developed earlier and show that
9:   this new approach is superior in many ways. The only unfavourable
10:   property that we were able to identify, viz.\ failure of full
11:   correspondence between weak metric and partial order convergence, is
12:   rectified by adopting a strong convergence discipline.
13: \end{abstract}
14: