@Inproceedings{EPTCS183.3, author = {Eguchi, Naohi}, year = {2015}, title = {Complexity Analysis of Precedence Terminating Infinite Graph Rewrite Systems}, editor = {Middeldorp, Aart and Raamsdonk, Femke van}, booktitle = {{\rm Proceedings 8th International Workshop on} Computing with Terms and Graphs, {\rm Vienna, Austria, July 13, 2014}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {183}, publisher = {Open Publishing Association}, pages = {33-47}, doi = {10.4204/EPTCS.183.3}, }