理论计算机科学,第109卷
第109卷,编号1和2,1993
哈特穆特·埃里格 , 迈克尔·洛韦 :
ESPRIT基础研究工作组COMPUGRAPH“通过图形变换进行计算”:一项调查。 3-6 安德烈亚·科拉迪尼 , 弗朗西丝卡·罗西 :
用于Term-Rewriting系统和编程的Hyperedge替代丛林重写。 7-48 布鲁诺·库塞尔 , 穆罕默德·莫斯巴 :
树分解图上的一元二阶估计。 49-82 弗兰克·德雷维斯 :
在立方时间中识别k-连通超图。 83-122 哈特穆特·埃里格 , 迈克尔·洛韦 :
单推出方法中的并行和分布式推导。 123-143 德克·詹森 :
演员语法中计算的等价性。 145-180 迈克尔·洛韦 :
单脉冲图变换的代数方法。 181-224 乌戈·蒙塔纳里 , 弗朗西丝卡·罗西 :
并发约束编程中部分排序语义的图形重写。 225-256 汉斯·吉尔根·施奈德 :
关于整合结构转换和标签操作的范畴图文法。 257-274