Proceedings 9th International Workshop on Computing with Terms and Graphs
Andrea Corradini (Pisa), Hans Zantema (Eindhoven)
TL;DR
This paper compiles proceedings from TERMGRAPH 2016, a workshop focused on computing with terms and graphs, highlighting recent research developments in this specialized area of theoretical computer science.
Contribution
It presents a collection of recent research papers and discussions from the 9th International Workshop on Computing with Terms and Graphs, showcasing advancements in the field.
Findings
Collection of recent research papers
Highlights of new methods in computing with terms and graphs
Discussion of theoretical and practical challenges
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).
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.