×

重写技术和应用程序。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]

MSC公司:

00B25型 杂项特定利益的会议记录
68-06 与计算机科学有关的会议记录、会议、收藏等
2012年第68季度 语法和重写系统
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接