Yves Métivier, Gerard Tel. Termination detection and universal graph reconstruction. In Michele Flammini, Enrico Nardelli, Guido Proietti, Paul G. Spirakis, editors, SIROCCO 7, Proceedings of the 7th International Colloquium on Structural Information and Communication Complexity, Laquila, Italy, June 20-22, 2000. pages 237-251, Carleton Scientific, 2000.
@inproceedings{MetivierT00,
title = {Termination detection and universal graph reconstruction},
author = {Yves Métivier and Gerard Tel},
year = {2000},
tags = {termination, graph-rewriting, rewriting},
researchr = {https://researchr.org/publication/MetivierT00},
cites = {0},
citedby = {0},
pages = {237-251},
booktitle = {SIROCCO 7, Proceedings of the 7th International Colloquium on Structural Information and Communication Complexity, Laquila, Italy, June 20-22, 2000},
editor = {Michele Flammini and Enrico Nardelli and Guido Proietti and Paul G. Spirakis},
publisher = {Carleton Scientific},
}