Proceedings 8th International Workshop on Computing with Terms and Graphs
Logic in Computer Science
2015-05-27 v1 Computational Complexity
Abstract
This volume contains the post-proceedings of the 8th International Workshop on Computing with Terms and Graphs (TERMGRAPH 2014). The workshop took place in Vienna on July 13, 2014 and was affiliated with the joint RTA and TLCA conference, which was part of the Federated Logic Conference (FLoC), which in turn participated in the Vienna Summer of Logic (VSL) 2014. The four regular papers in these proceedings are significantly extended versions of their pre-proceedings version. They were subjected to an additional round of reviewing. The paper by Samuel Mimram is an invited contribution.
Keywords
Cite
@article{arxiv.1505.06818,
title = {Proceedings 8th International Workshop on Computing with Terms and Graphs},
author = {Aart Middeldorp and Femke van Raamsdonk},
journal= {arXiv preprint arXiv:1505.06818},
year = {2015}
}