Termination of Term Graph Rewriting


Hans Zantema, Dennis Nolte, and Barbara König. Termination of term graph rewriting. In Proc. of WST '16 (Workshop on Termination), 2016.

Suggested BibTeX entry:

    author = {Hans Zantema and Dennis Nolte and Barbara K{\"o}nig},
    booktitle = {Proc. of WST '16 (Workshop on Termination)},
    title = {Termination of Term Graph Rewriting},
    year = {2016}

This work is not available online here.
© University of Duisburg-Essen, Theoretical Computer Science group