1: \begin{abstract}

2:   \noindent 

3:   Term graph rewriting provides a simple mechanism to finitely

4:   represent restricted forms of infinitary term rewriting. The

5:   correspondence between infinitary term rewriting and term graph

6:   rewriting has been studied to some extent. However, this endeavour

7:   is impaired by the lack of an appropriate counterpart of infinitary

8:   rewriting on the side of term graphs. We aim to fill this gap by

9:   devising two modes of convergence based on a partial order respectively a

10:   metric on term graphs. The thus obtained structures generalise

11:   corresponding modes of convergence that are usually studied in

12:   infinitary term rewriting. 

13: 

14:   We argue that this yields a common framework in which both term

15:   rewriting and term graph rewriting can be studied. In order to

16:   substantiate our claim, we compare convergence on term graphs and on

17:   terms. In particular, we show that the modes of convergence on term

18:   graphs are conservative extensions of the corresponding modes of

19:   convergence on terms and are preserved under unravelling term graphs

20:   to terms. Moreover, we show that many of the properties known from

21:   infinitary term rewriting are preserved. This includes the intrinsic

22:   completeness of both modes of convergence and the fact that

23:   convergence via the partial order is a conservative extension of the

24:   metric convergence.

25: \end{abstract}

26: