Hartmut Ehrig, John Staples. Church-Rosser properties for graph replacement systems with unique splitting. In Hartmut Ehrig, Manfred Nagl, Grzegorz Rozenberg, editors, Graph-Grammars and Their Application to Computer Science, 2nd International Workshop, Haus Ohrbeck [near Osnabrück], Germany, October 4-8, 1982. Volume 153 of Lecture Notes in Computer Science, pages 82-101, Springer, 1982.
@inproceedings{EhrigS82,
title = {Church-Rosser properties for graph replacement systems with unique splitting},
author = {Hartmut Ehrig and John Staples},
year = {1982},
tags = {graph-rewriting, rewriting},
researchr = {https://researchr.org/publication/EhrigS82},
cites = {0},
citedby = {0},
pages = {82-101},
booktitle = {Graph-Grammars and Their Application to Computer Science, 2nd International Workshop, Haus Ohrbeck [near Osnabrück], Germany, October 4-8, 1982},
editor = {Hartmut Ehrig and Manfred Nagl and Grzegorz Rozenberg},
volume = {153},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-12310-5},
}