Church-Rosser properties for graph replacement systems with unique splitting

Lecture Notes in Computer Science - Graph-Grammars and Their Application to Computer Science ◽

10.1007/bfb0000100 ◽

2005 ◽

pp. 82-101 ◽

Cited By ~ 1

Author(s):

H. Ehrig ◽

J. Staples