1991年第四届RTA:意大利科莫
罗纳德·V·书 :
重写技术与应用,第四届国际会议,RTA-91,意大利科摩,1991年4月10日至12日,会议记录。 计算机科学课堂讲稿 488, 施普林格 1991 ,国际标准图书编号 3-540-53904-2 理查德·肯纳韦 , 简·威廉·克洛普 , M.Ronan睡眠 , 弗·扬·德弗里斯 :
正交项重写系统中的超有限约简(扩展抽象)。 1-12 威廉·M·法默 , 罗纳德·瓦特罗 :
术语图重写中的赎回捕获(简明版)。 13-24 大卫·A·沃尔夫拉姆 :
重写和赤道统一:高阶案例。 25-36 丹尼尔·道尔蒂 :
将代数重写添加到无类型Lambda演算(扩展抽象)。 37-48 弗兰克·德雷维斯 , 克莱门斯·劳特曼 :
增量终止证明和派生长度。 49-61 迪特尔·霍夫鲍尔 :
有时限重写系统和广义嵌入的终止证明。 62-73 斯特凡·克里斯彻 , 亚历山大·博克迈尔 :
通过LSE-SL可还原性测试检测冗余窄导数。 74-85 弗兰兹·巴德 :
统一、弱统一、上界、下界和泛化问题。 86-97 埃里克·多曼纽德 :
通过顺序排序的AC1统一实现AC统一。 98-111 雅克·查宾 , 皮埃尔·雷蒂 :
由术语图指示的缩小。 112-123 弗兰兹·巴德 , 沃纳·纳特 :
将同态添加到交换/单体理论或代数如何帮助方程统一。 124-135 弗朗西斯·克莱 :
句法理论的不确定性。 136-149 韦恩·斯奈德 , 克里斯托弗·林奇 :
目标导向的准调制策略。 150-161 洛伊克·波蒂尔 :
线性丢番图系统的极小解:边界和算法。 162-173 赫莱内·基什内尔 :
参数化规范中的证明。 174-187 阿尔特·米德尔多普 , 富山义仁 :
构造系统组合的完整性。 188-199 托比亚斯·尼普科 , 钱振宇 :
模块化高阶 E类 -统一。 200-214 皮埃尔·路易斯·居里 , 乔治·盖利 :
弱正规化系统的汇流。 215-225 弗朗索瓦斯·贝利加德 :
程序转换和重写。 226-239 戴夫·科恩 , 菲尔·沃特森 :
术语重写算法的有效表示。 240-251 Sieger van Denneheuvel公司 , 凯伦·克瓦斯特 , 杰拉德·R·雷纳德·德拉瓦莱特 , 伊迪丝·斯潘 :
使用重写规则进行查询优化。 252-263 罗尔夫·索切尔·阿姆布罗西乌斯 :
布尔代数不允许收敛项重写系统。 264-274 凯·萨洛马 :
一元术语重写系统的汇流与终止的可判定性。 275-286 让-吕克·科奎德 , 马克斯·多切特 , 雷米·吉伦 , Sándor Vágvölgyi :
自下而上树下推自动机和重写系统。 287-298 格雷戈里·库切洛夫 :
术语重写系统与正则树语言的关系。 299-311 弗朗兹·约瑟夫·勃兰登堡 :
有界度图形语言中边界和合流图形语法的等价性。 312-322 阿尔伯特·格拉夫 :
从左到右的树模式匹配。 323-334 R.拉梅什 , I.V.罗摩克里希南 :
非线性重写系统高效规范化的增量技术。 335-347 玛丽亚·保拉·博纳西纳 , Jieh Xiang先生 :
论完备性定理证明策略的公平性。 348-360 尤尔根·阿文豪斯 :
用补全和嵌入技术证明等式定理和归纳定理。 361-373 安德烈亚·塞特勒·克莱恩(Andrea Sattler-Klein) :
竣工期间的分歧现象。 374-385 莱因哈德·邦根 :
通过Knuth-Bendix补全模拟Buchberger算法。 386-397 米基·赫尔曼 :
关于证明完成策略的性质。 398-410 克劳德·马奇 :
地面交流完成。 411-422 巴利亚特·纳伦德兰 , 米夏·鲁西诺维奇 :
任何Gound关联交换理论都有一个有限正则系统。 423-434 乌尔里希·弗劳斯 :
一个基于窄的定理证明器。 435-436 米歇尔·比拉德 :
ANIGRAF:具有优先级的图形重写系统动画的交互式系统。 437-438 Aline Deruyver :
EMMY:带方程的一阶逻辑的反驳定理证明器。 439-441 拉杰·阿加瓦尔 , 大卫·R·穆瑟 , 迪帕克·卡普尔 , 聂旭敏 :
Tecton证明系统。 442-444 纳丘姆·德肖维茨 , Jean-Pierre Jouannaud女士 , 简·威廉·克洛普 :
重写中的开放问题。 445-456