Termination of Cycle Rewriting

Reference

Hans Zantema, H.J. Sander Bruggink, and Barbara König. Termination of cycle rewriting. In Proc. of RTA-TLCA '14, pages 476–490. Springer, 2014. LNCS 8560.

Suggested BibTeX entry:

@inproceedings{ZBK14,
    author = {Hans Zantema and H.J. Sander Bruggink and Barbara K{\"o}nig},
    booktitle = {Proc. of RTA-TLCA '14},
    note = {{LNCS} 8560},
    pages = {476--490},
    publisher = {Springer},
    title = {Termination of Cycle Rewriting},
    year = {2014}
}



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