第11届计算与术语图形国际研讨会论文集
摘要：图和图形转换系统在计算机科学的许多领域中被使用：用于表示数据结构和算法，定义计算模型，作为研究复杂系统的通用建模工具等。术语和图形重写的研究涉及从理论问题到实际实现问题的范围。相关的研究领域包括：通过图形重写建模一阶和高阶术语重写，图形框架，如交互网和共享图（最优约简），用于分析函数程序的重写演算，编程语言的图缩减实现，建模并发和移动计算的图形演算，面向对象系统，图作为生物或化学系统的模型，以及在共享结构上工作的自动推理和符号计算系统。TERMGRAPH研讨会旨在将在这些不同领域工作的研究人员聚集在一起，促进他们的交流，提供一个展示新思想和正在进行的工作的论坛，并帮助新来者了解该领域的最新活动。
作者：Patrick Bahr (IT University of Copenhagen)
论文ID：2102.01804
分类：Symbolic Computation
分类简称：cs.SC
提交时间：2021-02-04