Proceedings 9th International Workshop on Computing with Terms and Graphs
Logic in Computer Science
2016-09-13 v1 Symbolic Computation
Abstract
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 Netherlands, as a satellite event of the European Joint Conferences on Theory and Practice of Software (ETAPS 2016).
Keywords
Cite
@article{arxiv.1609.03014,
title = {Proceedings 9th International Workshop on Computing with Terms and Graphs},
author = {Andrea Corradini and Hans Zantema},
journal= {arXiv preprint arXiv:1609.03014},
year = {2016}
}