Proceedings 9th International Workshop on Computing with Terms and Graphs

第九届术语和图形计算国际研讨会论文集

@进行中{Corradini2016程序9I，title={第九届术语和图形计算国际研讨会论文集}，作者={安德烈亚·科拉迪尼和汉斯·赞特马}，年份={2016年}，url={https://api.semanticscholar.org/CorpusID:196177773}}

本卷包含2016年4月8日在荷兰埃因霍温举行的第九届术语和图形计算国际研讨会TERMGRAPH 2016的会议记录，该研讨会是欧洲软件理论与实践联合会议（ETAPS 2016）的附属活动。