理论计算机科学电子笔记176(2007)1-2www.elsevier.com/locate/entcs前言项图重写涉及将函数表达式表示为图,并通过基于规则的图转换对这些表达式求值。使用图而不是字符串或树的优点是可以共享公共子表达式,这提高了空间和时间上的计算效率。共享在函数和逻辑编程语言、自动推理系统和符号计算系统的实现中无处不在。术语图重写的研究范围从理论问题到实际实现问题。它包括不同的领域,如通过(非循环或循环)图重写对(有限或无限)一阶项重写进行建模,用于L'evy-o-o2006年4月在奥地利维也纳举行了第三届国际术语图表重写研讨会,作为ETAPS 2006的附属活动。此前的活动分别在巴塞罗那(2002年)和罗马(2004年)举行。这一系列工作坊的目的是将在这些不同领域工作的研究人员聚集在一起,促进他们的互动,为提出新的想法和正在进行的工作提供一个论坛,并使新来者能够了解术语图重写的当前活动。TERMGRAPH 2006方案委员会包括:• Zena Ariola(美国俄勒冈• Fabio Gadducci(意大利比萨大学)• Pierre Lescanne(ENS Lyon,France)• IanMackie(E′colePolytechnique,Frannc e-Chair)• Aart Middeldorp(奥地利因斯布鲁克大学)• Rinus Plasmeijer(荷兰奈梅亨拉德布大学)• Detlef Plump(英国约克大学)1571-0661 © 2007 Elsevier B. V.在CC BY-NC-ND许可下开放访问。doi:10.1016/j.entcs.2006.10.0252.《理论计算机科学电子笔记》序言176(2007)1-2• Vladimiro Sassone(英国苏塞克斯大学)组委会成员包括:• MaribelFerna′nde z(King• Bernhard Gramlich(奥地利维也纳科技大学)方案委员会为这一卷挑选了9篇论文。 我想感谢所有为2006年国际摄影展做出贡献的人,感谢项目和组织委员会的成员,感谢他们为这次活动所做的卓有成效的工作。最后,衷心感谢所有辛勤工作的裁判员,以确保本次活动的科学质量。10月15号放款记录