×
苏菲·蒂森（编辑）

重写技术和应用程序。第13届国际会议，RTA 2002，丹麦哥本哈根，2002年7月22日至24日。诉讼程序。 （英语） Zbl 0992.00043号

计算机科学课堂讲稿2378.柏林：施普林格。xi，387页（2002年）。

将索引文章显示为搜索结果。

本卷的文章将单独进行审查。上一次会议（2001年第12次）已经过审查（参见Zbl 0967.00070号).
索引文章：
Natarajan Shankar；哈拉尔德街，结合肖斯塔克理论，1-18[Zbl 1045.03015号]
约翰·米切尔（John C.Mitchell）。，多集重写和安全协议分析，19-22[Zbl 1045.68582号]
弗兰兹·巴德，用于基于内容的信息表示的逻辑工程，23[Zbl 1045.03512号]
保罗·安德烈·梅利埃公理重写理论。六： 重温剩余理论。，24-50 [Zbl 1045.68075号]
理查德·肯纳韦（Richard Kennaway）；苏拉布哈西达什维利；阿道夫·皮佩尔诺，超平衡（λ）演算中β-约化模块性的静态分析。，51-65 [Zbl 1045.03018号]
德国福雷；克洛德·基什内尔，重写演算中的异常，66-82[Zbl 1045.68069号]
乔治·斯特鲁斯，导出聚焦晶格计算。，83年至97年[Zbl 1045.03016号]
西基，Hiroyuki；Takai、Toshinori；优黑藤中；Yuichi Kaji，分层变换项重写系统及其可识别性保持性质，98-113[Zbl 1045.68076号]
大崎，仁；Toshinori Takai，方程树语言的可判定性和闭包性质，114-128[Zbl 1045.68083号]
皮埃尔·雷蒂；朱莉·武奥托，某些重写策略生成的常规后代集，129-143[Zbl 1045.68085号]
约翰内斯·沃尔德曼，重写游戏，144-158[Zbl 1045.68078号]
Paula Severi；德弗里斯，费扬，一个扩展的Böhm模型，159-173[Zbl 1169.03329号]
朱利安·福雷斯特，带显式运算符的弱微积分，用于模式匹配和替换，174-191[Zbl 1045.68070号]
Chuck Liang；戈帕兰·纳达图尔，λ项内涵表示的权衡，192-206[兹比尔1045.68530]
戴维·德哈贝（David Déharbe）；莫雷拉（Moreira）、阿纳玛丽亚·马丁斯（Anamaria Martins）；克里斯托夫·林盖森，通过重写时序逻辑公式改进符号模型检查，207-221[Zbl 1045.68091号]
贾尼斯·沃格特兰德，通过树状传感器组成提高效率的条件，222-236[Zbl 1045.68040号]
Bravenboer，马丁；埃尔科·维瑟，重写指令选择策略，237-251[Zbl 1045.68578号]
奥利维埃·伯内兹（Olivier Bournez）；克洛德·基什内尔概率重写策略。ELAN的应用，252-266[Zbl 1045.68577号]
阿尔芬斯·盖瑟，单规则字符串重写中的超指数长度循环，267-280[Zbl 1045.68071号]
埃利亚斯·塔汉·比塔尔，合流项重写系统的递归导数长度界限，281-295[Zbl 1045.68077号]
萨尔瓦多卢卡斯，（规范）上下文敏感重写的终止，296-310[Zbl 1045.68074号]
维托尔德·查拉托尼克；Jean-Marc Talbot，带投影的原子集约束，311-325[兹比尔1045.68064]
约尔迪·利维；马图·维拉雷特，Currying二阶统一问题，326-339[Zbl 1045.68073号]
Dan Dougherty；托马斯·维兹比基，高阶匹配的可判定变体，340-351[Zbl 1045.68068号]
弗兰茨·巴德；塞萨尔·蒂内利，积极理论共享构造函数的组合决策程序，352-366[Zbl 1045.03013号]
范德波尔（Jaco van de Pol），JITty：带有策略注释的重写器，367-370[Zbl 1045.68583号]
艾琳·杜兰德，Autowrite：检查术语重写系统属性的工具，371-375[Zbl 1045.68579号]
本诺伊特·勒克兰德；皮埃尔·雷蒂，TTSLI:树元组同步语言的实现，376-379[Zbl 1045.68581号]
西尔万·里皮，in（{}^2）：交互网络的图形解释器，380-385[Zbl 1045.68593号]

引用于1审查

MSC公司：

00B25型 杂项特定利益的会议记录
68-06 与计算机科学有关的论文集、会议、文集等
第68季度第42季度 语法和重写系统

关键词：

哥本哈根（丹麦）；诉讼；会议；RTA 2002年；重写技巧

引文：

Zbl 0967.00070号
PDF格式BibTeX公司 XML格式引用
\textit{S.Tison}（编辑），重写技术和应用。第13届国际会议，RTA 2002，丹麦哥本哈根，2002年7月22日至24日。诉讼程序。柏林：施普林格出版社（2002；Zbl 0992.00043）