罗伯特·纽文胡斯(编辑) 重写技术和应用程序。2003年6月9日至11日在西班牙巴伦西亚举行的RTA 2003第14届国际会议。诉讼程序。 (英语) Zbl 1029.00060号 计算机科学课堂讲稿2706.柏林:斯普林格。xi,515页(2003年)。 将索引文章显示为搜索结果。 本卷的文章将单独进行审查。上一次会议已经过审查(参见Zbl 0992.00043号).索引文章:帕特里克·林肯,符号系统生物学,1[Zbl 1038.68775号]Gilles Dowek,汇流作为切割消除属性,2-13[Zbl 1038.03054号]史蒂文·艾克,大项上的结合交换重写,14-29[Zbl 1038.68560号]奥利维埃·伯内兹(Olivier Bournez);科姆,盖·马利;瓦莱里·康拉德(Valérie Conraud);赫莱内·基什内尔;莉莉亚娜·伊布内斯库,基于规则的方法自动生成动力学化学机制,30-45[Zbl 1038.68558号]西诺,弗朗索瓦·雷吉斯;玛丽贝尔·费尔南德斯(Maribel Fernández);伊恩·麦基,使用控制器字符串进行高效缩减,46-60[Zbl 1038.68025号]奥利维埃·伯内兹(Olivier Bournez);马修·霍洛普,重写逻辑和概率,61-75[Zbl 1038.68063号]Manuel Clavel;弗朗西斯科·杜兰;史蒂文·艾克(Steven Eker);帕特里克·林肯;马丁·奥列特,纳西索;何塞·梅塞盖尔;卡罗琳·塔尔科特,莫德2.0系统,76-87[Zbl 1038.68559号]Wells,Joe B。;丰满,细节;法鲁兹卡马雷丁,意义保存图表,88-106[兹比尔1038.68073]森林,朱利安;迪莉娅·凯斯纳,带模式的表达式缩减系统,107-122[Zbl 1038.68064号]H·J·桑德·布鲁金克。,高阶重写中的残差,123-137[Zbl 1038.68071号]亚当·格拉尼茨;丹尼尔·齐默尔曼(Daniel M.Zimmerman)。;杰森·希基,重写UNITY,138-147[Zbl 1038.68542号]科蒙·隆德,休伯特;维罗尼克·科尔蒂尔,一阶逻辑片段的新可判定性结果及其在密码协议中的应用,148-164[Zbl 1038.03012号]卡普尔,迪帕克;巴利亚特·纳伦德兰;王立达,用于分析使用模幂运算的协议的E-统一算法,165-179[Zbl 1043.94537号]库马尔·内拉吉(Kumar Neeraj Verma),类AC理论的双向方程树自动机:可判定性和闭包性质,180-196[Zbl 1038.03047号]陈冯;格里戈尔·罗什;拉姆·普拉萨德·文凯特桑,基于规则的尺寸安全分析,197-207[Zbl 1038.68548号]吉安·卢伊斯·贾维托,拓扑集合、变换及其在动力学系统建模和仿真中的应用,208-233[Zbl 1038.68066号]Salvati,Sylvain;菲利普·德格罗特,关于线性(λ)演算中高阶匹配的复杂性,234-245[Zbl 1038.03014号]Dal Zilio,Silvano;丹尼斯·卢吉兹,XML模式,树逻辑和滑轮自动机,246-263[Zbl 1038.68039号]雷内·蒂曼;吉尔根·吉斯尔,变尺寸终止,用于术语重写,264-278[Zbl 1038.68072号]克里斯蒂娜·博拉莱拉斯;阿尔伯特·鲁比奥,单调AC兼容语义路径排序,279-295[Zbl 1038.68062号]乔治·莫瑟(Georg Moser);安德烈亚斯·魏尔曼,将派生长度与缓慢增长的层次结构直接关联起来,296-310[Zbl 1038.68069号]Nao Hirokawa;阿尔特·米德尔多普,筑波终止工具,311-320[Zbl 1038.68561号]吉尔·吉斯尔(Jürgen Giesl);汉斯·赞特马,改写中的生动,321-336[Zbl 1038.68067号]吉尔·巴特;斯特拉图拉特,索林,使用隐式归纳技术验证JavaCard平台,337-351[兹比尔1038.68557]乌尔索,帕斯卡;伊曼纽尔·库纳利斯,数学归纳法的“项划分”,352-366[Zbl 1038.68111号]特穆尔库西亚,定理的等式证明,367-379[Zbl 1038.68570号]Aoto、Takahito;山田,Toshiyuki,通过翻译和标记终止简单类型术语重写,380-394[Zbl 1038.68060号]弗雷德里克·布兰基,在演绎模中重写模,395-409[Zbl 1038.68061号]阿尔芬斯·盖瑟,终止具有一对重叠的字符串重写规则,410-423[Zbl 1038.68065号]范登布兰德,马克;莫罗、皮埃尔·伊蒂安;尤尔根文居,免费为术语重写引擎提供环境!,424-435 [Zbl 1038.68563号]大卫·麦卡利斯特,ML类型推理的逻辑算法,436-451[Zbl 1038.68543号]Neil Ghani;安妮·海沃思,Reidemeister-Schreier的改写替代品,452-466[Zbl 1038.68152号]苏拉布哈西达什维利;约翰·格劳特,无冲突重写系统的稳定计算语义(带重复的部分顺序),467-482[Zbl 1038.68068号]大崎,仁;西基,Hiroyuki;Toshinori Takai,使用成员条件重写机制识别布尔闭A树语言,483-498[Zbl 1038.68070号]格里戈尔·罗什;马赫什·维斯瓦纳坦,通过重写增量测试扩展正则语言成员身份,499-514[兹比尔1038.68562] 引用于1审查引用于2文件 MSC公司: 00B25型 杂项特定利益的会议记录 68-06 与计算机科学有关的会议记录、会议、收藏等 2012年第68季度 语法和重写系统 关键词:重写技巧;重写应用程序;巴伦西亚(西班牙);RTA 2003年 引文:Zbl 0992.00043号 软件:莫德;枣灰蝶属 PDF格式BibTeX公司 XML格式引用 \textit{R.Nieuwenhuis}(编辑),重写技术和应用。2003年6月9日至11日在西班牙巴伦西亚举行的RTA 2003第14届国际会议。诉讼程序。柏林:施普林格出版社(2003;Zbl 1029.00060) 全文: 内政部 链接