1. Convergence in infinitary term graph rewriting systems is simple. (9th August 2018) Authors: BAHR, PATRICK Journal: Mathematical structures in computer science Issue: Volume 28:Number 8(2018) Page Start: 1363 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗