8th International Workshop on Computing with Terms and Graphs (TERMGRAPH 2014)

Aart Middeldorp and Femke van Raamsdonk (eds.)
post-proceedings, Electronic Proceedings in Theoretical Computer Science 183, 2015