Proceedings 9th International Workshop on Computing with Terms and Graphs

Andrea Corradini, Hans Zantema

This volume contains the proceedings of TERMGRAPH 2016, the Ninth International Workshop on Computing with Terms and Graphs which was held on April 8, 2016 in Eindhoven, The Nether…