×

兹马思-数学第一资源

重写技术和应用。第14届国际会议,2003年RTA,西班牙瓦伦西亚,2003年6月9日至11日。诉讼程序。(英语) Zbl 1029.00060
计算机科学讲义. 2706柏林:斯普林格。十一,第515页。(2003年)。

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

本卷的文章将单独审查。上一次会议已经过审查(见Zbl 0992.00043).
索引文章:
林肯,帕特里克,符号系统生物学,1[Zbl 1038.68775]
道克,吉尔,合流作为切割消除特性,2-13[Zbl 1038.03054]
埃克,史蒂文,大项上的联想交换重写,14-29[Zbl 1038.68560]
伯恩斯,奥利维尔;哥们,盖伊·玛丽;康罗,瓦莱丽;基什内尔,Hélène;伊布涅斯库,莉莉安娜,自动生成动力学化学机制的基于规则的方法,30-45[Zbl 1038.68558]
西诺,弗朗索瓦-雷吉斯;费尔南德斯,玛丽贝尔;麦基,伊恩46-60,有效的控制器[Zbl 1038.68025]
伯恩斯,奥利维尔;霍伊鲁普,马修,重写逻辑和概率,61-75[Zbl 1038.68063]
克莱维尔,曼纽尔;杜兰,旧金山;埃克,史蒂文;林肯,帕特里克;玛蒂奥利特,纳西索;梅斯盖尔,何塞;塔尔科特,卡罗琳,莫德2.0系统,76-87[Zbl 1038.68559]
韦尔斯,乔B。;丰满的,Detlef;卡马雷丁,费尔鲁兹,意义保存图,88-106[Zbl 1038.68073]
森林,朱利安;凯斯纳,迪莉娅,带模式的表达减少系统,107-122[Zbl 1038.68064]
Sander Bruggink,H.J。,高阶重写中的残差,123-137[Zbl 1038.68071]
格拉尼茨,亚当;齐默尔曼,丹尼尔M。;希基,杰森《重写统一》,138-147[Zbl 1038.68542]
科蒙伦德,休伯特;科蒂埃,维罗尼克,一阶逻辑片段的新可判定性结果及其在密码协议中的应用,148-164[Zbl 1038.03012]
卡普尔,迪帕克;纳伦德兰,帕利特;王,丽达,用于分析使用模幂的协议的E统一算法,165-179[Zbl 1043.94537号]
维玛,库马尔·尼拉吉类AC理论的双向方程树自动机:可判定性和闭包性质,180-196[Zbl 1038.03047]
陈峰;罗şu,格里戈;文卡泰桑,拉姆·普拉萨德《基于规则的尺寸安全分析》,197-207[Zbl 1038.68548]
吉亚维托,让·路易斯,拓扑集合,变换及其在动力系统建模与仿真中的应用,208-233[Zbl 1038.68066]
塞尔瓦蒂,西尔文;德格罗特,菲利普,关于线性微积分中高阶匹配的复杂性,234-245[Zbl 1038.03014]
达尔齐里奥,西尔瓦诺;卢吉兹,丹尼斯,XML模式,树逻辑和槽轮自动机,246-263[Zbl 1038.68039]
蒂曼,勒内;吉尔根,吉尔根,术语重写的大小更改终止,264-278[Zbl 1038.68072]
博拉雷拉斯,克里斯蒂娜;卢比奥,艾伯特,单调AC兼容语义路径排序,279-295[Zbl 1038.68062]
莫瑟,乔治;威尔曼,安德烈亚斯,直接将推导长度与缓慢增长的层次结构联系起来,296-310[1036808.6808升]
广川,脑;米德尔多普,Aart,筑波终端工具,311-320[Zbl 1038.68561]
吉尔根,吉尔根;赞特玛,汉斯《重写中的活力》,321-336[Zbl 1038.68067]
巴瑟,吉尔;层压,索林,使用隐式归纳法验证JavaCard平台,337-351[Zbl 1038.68557]
乌索,帕斯卡;库纳利斯,伊曼纽尔数学归纳法的“项划分”,352-366[Zbl 1038.68111]
特穆尔库兹亚,定理的等式证明者,367-379[Zbl 1038.68570]
奥图,高仁;山田,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]
尼尔加尼;海沃思,安妮《重写Reidemeter Schreier的替代品》,452-466年[Zbl 1038.68152号]
哈西达什维利,祖拉布;格劳特,约翰,无冲突重写系统的稳定计算语义(带重复的偏序),467-482[Zbl 1038.68068]
大坂,仁石;塞基,广裕;Takai,Toshinori,用隶属条件重写机制识别布尔闭A树语言,483-498[Zbl 1038.68070]
罗şu,格里戈;维斯瓦纳坦,马赫什,通过重写递增地测试扩展的常规语言成员资格,499-514[Zbl 1038.68562]

理学硕士:
00B25号 特别关注的杂项会议记录
68-06年 与计算机科学有关的会议记录、会议记录、收藏等
68Q42号 语法与重写系统
PDF格式 BibTeX公司 XML 引用
全文: 链接