格里高·罗什乌;马赫什·维斯瓦纳坦 通过重写以增量方式测试扩展的正则语言成员资格。 (英语) Zbl 1038.68562号 Nieuwenhuis,Robert(编辑),重写技术和应用。2003年6月9日至11日在西班牙巴伦西亚举行的RTA 2003第14届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-40254-3/pbk)。莱克特。注释计算。科学。2706, 499-514 (2003).MSC公司:2012年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Rošu}和\textit{M.Viswanathan},莱克特。注释计算。科学。2706499--514(2003年;Zbl 1038.68562) 全文: 链接
Hitoshi大坂;弘久世奇(Hiroyuki Seki);Toshinori Takai 使用成员条件重写机制识别布尔闭A树语言。 (英语) Zbl 1038.68070号 Nieuwenhuis,Robert(编辑),重写技术和应用。2003年6月9日至11日在西班牙巴伦西亚举行的RTA 2003第14届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-40254-3/pbk)。莱克特。注释计算。科学。2706, 483-498 (2003).MSC公司:2012年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Ohsaki}等人,Lect。注释计算。科学。2706、483--498(2003年;Zbl 1038.68070) 全文: 链接
苏拉布·卡西达什维利;约翰·格劳特 无冲突重写系统的稳定计算语义(具有重复的部分顺序)。 (英语) Zbl 1038.68068号 Nieuwenhuis,Robert(编辑),重写技术和应用。2003年6月9日至11日在西班牙巴伦西亚举行的RTA 2003第14届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-40254-3/pbk)。莱克特。注释计算。科学。第2706页,第467-482页(2003年)。MSC公司:2012年第68季度 68问题55 06B35号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Khasidashvili}和\textit{J.Glauert},莱克特。注释计算。科学。2706、467--482(2003年;Zbl 1038.68068) 全文: 链接
尼尔·加尼;安妮·海沃思 Reidemeister Schreier的重写替代方案。 (英语) Zbl 1038.68152号 Nieuwenhuis,Robert(编辑),重写技术和应用。2003年6月9日至11日在西班牙巴伦西亚举行的RTA 2003第14届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-40254-3/pbk)。莱克特。注释计算。科学。2706, 452-466 (2003).MSC公司:68瓦30 2010年1月20日 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Ghani}和\textit{A.Heyworth},莱克特。注释计算。科学。2706、452--466(2003年;Zbl 1038.68152) 全文: 链接
大卫·麦卡利斯特 ML类型推理的逻辑算法。 (英语) Zbl 1038.68543号 Nieuwenhuis,Robert(编辑),重写技术和应用。2003年6月9日至11日在西班牙巴伦西亚举行的RTA 2003第14届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-40254-3/pbk)。莱克特。注释计算。科学。2706, 436-451 (2003).MSC公司:68N17号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.McAllester},莱克特。注释计算。科学。2706436--451(2003年;Zbl 1038.68543) 全文: 链接
马克·范登·布兰德;皮埃尔·埃蒂安·莫罗;尤尔根文居 免费为术语重写引擎提供环境! (英语) Zbl 1038.68563号 Nieuwenhuis,Robert(编辑),重写技术和应用。2003年6月9日至11日在西班牙巴伦西亚举行的RTA 2003第14届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-40254-3/pbk)。莱克特。注释计算。科学。2706, 424-435 (2003).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.van den Brand}等人,Lect。注释计算。科学。2706424--435(2003年;Zbl 1038.68563) 全文: 链接
阿尔芬斯·盖瑟 终止具有一对重叠的字符串重写规则。 (英语) Zbl 1038.68065号 Nieuwenhuis,Robert(编辑),重写技术和应用。2003年6月9日至11日在西班牙巴伦西亚举行的RTA 2003第14届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-40254-3/pbk)。莱克特。注释计算。科学。2706, 410-423 (2003).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Geser},勒克特。注释计算。科学。2706410-423(2003年;Zbl 1038.68065) 全文: 链接
弗雷德里克·布兰基 重写演绎模中的模。 (英语) Zbl 1038.68061号 Nieuwenhuis,Robert(编辑),重写技术和应用。2003年6月9日至11日在西班牙巴伦西亚举行的RTA 2003第14届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-40254-3/pbk)。莱克特。注释计算。科学。2706, 395-409 (2003).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.布兰基},莱克特。注释计算。科学。2706395--409(2003年;Zbl 1038.68061) 全文: 链接
高仁青藤;山田,Toshiyuki 通过翻译和标记终止简单类型术语重写。 (英语) Zbl 1038.68060号 Nieuwenhuis,Robert(编辑),重写技术和应用。2003年6月9日至11日在西班牙巴伦西亚举行的RTA 2003第14届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-40254-3/pbk)。莱克特。注释计算。科学。第2706、380-394页(2003年)。MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Aoto}和\textit{T.Yamada},莱克托。注释计算。科学。2706380-394(2003年;Zbl 1038.68060) 全文: 链接
特穆尔库西亚 定理的等式证明。 (英语) Zbl 1038.68570号 Nieuwenhuis,Robert(编辑),重写技术和应用。2003年6月9日至11日在西班牙巴伦西亚举行的RTA 2003第14届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-40254-3/pbk)。莱克特。注释计算。科学。2706, 367-379 (2003).MSC公司:68吨15 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.库西亚},莱克特。注释计算。科学。2706、367--379(2003年;Zbl 1038.68570) 全文: 链接
帕斯卡·乌尔索;伊曼纽尔·库纳利斯 数学归纳法的“术语划分”。 (英语) Zbl 1038.68111号 Nieuwenhuis,Robert(编辑),重写技术和应用。2003年6月9日至11日在西班牙巴伦西亚举行的RTA 2003第14届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-40254-3/pbk)。莱克特。注释计算。科学。2706, 352-366 (2003).MSC公司:68吨15 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Urso}和\textit{E.Kounalis},莱克特。注释计算。科学。2706、352--366(2003年;Zbl 1038.68111) 全文: 链接
吉尔·巴特;斯特拉图拉特,索林 使用隐式归纳技术验证JavaCard平台。 (英语) Zbl 1038.68557号 Nieuwenhuis,Robert(编辑),重写技术和应用。2003年6月9日至11日在西班牙巴伦西亚举行的RTA 2003第14届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-40254-3/pbk)。莱克特。注释计算。科学。2706, 337-351 (2003).MSC公司:2012年第68季度 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{G.Barthe}和\textit{S.Stratulat},莱克特。注释计算。科学。2706、337--351(2003年;Zbl 1038.68557) 全文: 链接
吉尔根·吉斯尔;汉斯·赞特马 重写的生动性。 (英语) Zbl 1038.68067号 Nieuwenhuis,Robert(编辑),重写技术和应用。2003年6月9日至11日在西班牙巴伦西亚举行的RTA 2003第14届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-40254-3/pbk)。莱克特。注释计算。科学。第2706321-336页(2003年)。MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Giesl}和\textit{H.Zantema},莱克特。注释计算。科学。2706、321--336(2003年;Zbl 1038.68067) 全文: 链接
Nao Hirokawa;阿德尔德多尔普 筑波端接工具。 (英语) Zbl 1038.68561号 Nieuwenhuis,Robert(编辑),重写技术和应用。2003年6月9日至11日在西班牙巴伦西亚举行的RTA 2003第14届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-40254-3/pbk)。莱克特。注释计算。科学。第2706311-320页(2003年)。MSC公司:2012年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{N.Hirokawa}和\textit{A.Middeldorp},莱克特。注释计算。科学。2706311--320(2003年;Zbl 1038.68561) 全文: 链接
乔治·莫瑟;安德烈亚斯·魏尔曼 将派生长度与缓慢增长的层次结构直接关联。 (英语) Zbl 1038.68069号 Nieuwenhuis,Robert(编辑),重写技术和应用。2003年6月9日至11日在西班牙巴伦西亚举行的RTA 2003第14届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-40254-3/pbk)。莱克特。注释计算。科学。2706, 296-310 (2003).MSC公司:2012年第68季度 03D20日 2015年1月3日 20层03 PDF格式BibTeX公司 XML格式引用 \textit{G.Moser}和\textit{A.Weiermann},Lect。注释计算。科学。2706、296--310(2003年;Zbl 1038.68069) 全文: 链接
克里斯蒂娜·博拉莱拉斯;阿尔伯特·鲁比奥 单调的AC兼容语义路径排序。 (英语) Zbl 1038.68062号 Nieuwenhuis,Robert(编辑),重写技术和应用。2003年6月9日至11日在西班牙巴伦西亚举行的RTA 2003第14届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-40254-3/pbk)。莱克特。注释计算。科学。2706, 279-295 (2003).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Borraleras}和\textit{A.Rubio},莱克特。注释计算。科学。2706、279--295(2003年;Zbl 1038.68062) 全文: 链接
雷内·蒂曼;吉尔根·吉斯尔 用于术语重写的大小更改终止。 (英语) Zbl 1038.68072号 Nieuwenhuis,Robert(编辑),重写技术和应用。2003年6月9日至11日在西班牙巴伦西亚举行的RTA 2003第14届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-40254-3/pbk)。莱克特。注释计算。科学。2706, 264-278 (2003).MSC公司:2012年第68季度 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{R.Thiemann}和\textit{J.Giesl},莱克特。注释计算。科学。2706、264--278(2003年;Zbl 1038.68072) 全文: 链接
达尔·齐利奥(Dal Zilio,Silvano);丹尼斯·卢吉兹 XML模式、树逻辑和滑轮自动机。 (英语) Zbl 1038.68039号 Nieuwenhuis,Robert(编辑),重写技术和应用。2003年6月9日至11日在西班牙巴伦西亚举行的RTA 2003第14届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-40254-3/pbk)。莱克特。注释计算。科学。2706, 246-263 (2003).MSC公司:68第05页 65年第68季度 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{S.Dal Zilio}和\textit{D.Lugiez},莱克特。注释计算。科学。2706、246——263(2003年;Zbl 1038.68039) 全文: 链接
西尔万·萨尔瓦蒂;菲利普·德·格鲁特 线性(λ)演算中高阶匹配的复杂性。 (英语) Zbl 1038.03014号 Nieuwenhuis,Robert(编辑),重写技术和应用。2003年6月9日至11日在西班牙巴伦西亚举行的RTA 2003第14届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-40254-3/pbk)。莱克特。注释计算。科学。2706, 234-245 (2003).MSC公司:03B40型 2012年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Salvati}和\textit{P.de Groote},莱克特。注释计算。科学。27063234-245(2003年;兹bl 1038.03014) 全文: 链接
吉安·卢伊斯·贾维托 拓扑集合、变换及其在动力学系统建模和仿真中的应用。 (英语) Zbl 1038.68066号 Nieuwenhuis,Robert(编辑),重写技术和应用。2003年6月9日至11日在西班牙巴伦西亚举行的RTA 2003第14届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-40254-3/pbk)。莱克特。注释计算。科学。2706, 208-233 (2003).MSC公司:2012年第68季度 68第05页 93A30型 92D20型 PDF格式BibTeX公司 XML格式引用 \textit{J.-L.贾维托},莱克特。注释计算。科学。2706208--233(2003年;Zbl 1038.68066) 全文: 链接
陈冯;格里高·罗什乌;拉姆·普拉萨德·文凯特桑 基于规则的尺寸安全分析。 (英语) Zbl 1038.68548号 Nieuwenhuis,Robert(编辑),重写技术和应用。2003年6月9日至11日在西班牙巴伦西亚举行的RTA 2003第14届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-40254-3/pbk)。莱克特。注释计算。科学。2706197-207(2003年)。MSC公司:68N99型 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Chen}等人,Lect。注释计算。科学。2706、197--207(2003;Zbl 1038.68548) 全文: 链接
库马尔·内拉吉(Kumar Neeraj Verma) 类AC理论的双向方程树自动机:可判定性和闭包性质。 (英语) Zbl 1038.03047号 Nieuwenhuis,Robert(编辑),重写技术和应用。2003年6月9日至11日在西班牙巴伦西亚举行的RTA 2003第14届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-40254-3/pbk)。莱克特。注释计算。科学。2706, 180-196 (2003).MSC公司:05年3月 2012年第68季度 65年第68季度 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{K.N.Verma},莱克特。注释计算。科学。2706190--196(2003年;兹bl 1038.03047) 全文: 链接
迪帕克·卡普尔;巴利亚特·纳伦德兰;王丽达 用于分析使用模幂运算的协议的E-统一算法。 (英语) Zbl 1043.94537号 Nieuwenhuis,Robert(编辑),重写技术和应用。2003年6月9日至11日在西班牙巴伦西亚举行的RTA 2003第14届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-40254-3/pbk)。莱克特。注释计算。科学。2706, 165-179 (2003).MSC公司:94A60型 68瓦30 13页第10页 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Kapur}等人,Lect。注释计算。科学。2706、165--179(2003年;Zbl 1043.94537) 全文: 链接
休伯特·科蒙·隆德;维罗尼克·科尔蒂尔 一阶逻辑片段的新可判定性结果以及密码协议的应用。 (英语) Zbl 1038.03012号 Nieuwenhuis,Robert(编辑),重写技术和应用。2003年6月9日至11日在西班牙巴伦西亚举行的RTA 2003第14届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-40254-3/pbk)。莱克特。注释计算。科学。2706, 148-164 (2003).MSC公司:03B25号 03B20型 03B35型 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{H.Comon-Lundh}和\textit{V.Cortier},莱克特。注释计算。科学。2706、148--164(2003;Zbl 1038.03012) 全文: 链接
亚当·格拉尼茨;丹尼尔·齐默尔曼(Daniel M.Zimmerman)。;杰森·希基 重写UNITY。 (英语) Zbl 1038.68542号 Nieuwenhuis,Robert(编辑),重写技术和应用。2003年6月9日至11日在西班牙巴伦西亚举行的RTA 2003第14届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-40254-3/pbk)。莱克特。注释计算。科学。2706, 138-147 (2003).MSC公司:68甲15 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Granicz}等人,Lect。注释计算。科学。2706、138--147(2003年;Zbl 1038.68542) 全文: 链接
H·J·桑德·布鲁金克。 高阶重写中的残差。 (英语) Zbl 1038.68071号 Nieuwenhuis,Robert(编辑),重写技术和应用。2003年6月9日至11日在西班牙巴伦西亚举行的RTA 2003第14届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-40254-3/pbk)。莱克特。注释计算。科学。2706, 123-137 (2003).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.J.Sander Bruggink},莱克特。注释计算。科学。2706、123--137(2003年;Zbl 1038.68071) 全文: 链接
朱利安·福雷斯特;迪莉娅·凯斯纳 具有模式的表达式简化系统。 (英语) 兹比尔1038.68064 Nieuwenhuis,Robert(编辑),重写技术和应用。2003年6月9日至11日在西班牙巴伦西亚举行的RTA 2003第14届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-40254-3/pbk)。莱克特。注释计算。科学。2706, 107-122 (2003).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Forest}和\textit{D.Kesner},Lect。注释计算。科学。2706、107-122(2003年;Zbl 1038.68064) 全文: 链接
Wells,Joe B。;丰满,细节;法鲁兹卡马雷丁 保存意思的图表。 (英语) Zbl 1038.68073号 Nieuwenhuis,Robert(编辑),重写技术和应用。2003年6月9日至11日在西班牙巴伦西亚举行的RTA 2003第14届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-40254-3/pbk)。莱克特。注释计算。科学。2706, 88-106 (2003).MSC公司:2012年第68季度 68问题55 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{J.B.Wells}等人,Lect。注释计算。科学。2706、88--106(2003年;Zbl 1038.68073) 全文: 链接
曼纽尔·克莱维尔;弗朗西斯科·杜兰;史蒂文·艾克;帕特里克·林肯;马丁·奥列特,纳西索;何塞·梅塞盖尔;卡罗琳·塔尔科特 莫德2.0系统。 (英语) Zbl 1038.68559号 Nieuwenhuis,Robert(编辑),重写技术和应用。2003年6月9日至11日在西班牙巴伦西亚举行的RTA 2003第14届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-40254-3/pbk)。莱克特。注释计算。科学。2706, 76-87 (2003).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Clavel}等人,Lect。注释计算。科学。2706、76-87(2003年;Zbl 1038.68559) 全文: 链接
奥利维尔·伯内兹;马蒂厄·霍伊鲁普 重写逻辑和概率。 (英语) Zbl 1038.68063号 Nieuwenhuis,Robert(编辑),重写技术和应用。2003年6月9日至11日在西班牙巴伦西亚举行的RTA 2003第14届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-40254-3/pbk)。莱克特。注释计算。科学。2706, 61-75 (2003).MSC公司:2012年第68季度 03B70号 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{O.Bournez}和\textit{M.Hoyrup},莱克特。注释计算。科学。2706、61-75(2003年;Zbl 1038.68063) 全文: 链接
弗朗索瓦·雷吉斯·西诺;玛丽贝尔·费尔南德斯;伊恩·麦基 使用控制器串进行高效裁减。 (英语) Zbl 1038.68025号 Nieuwenhuis,Robert(编辑),重写技术和应用。2003年6月9日至11日在西班牙巴伦西亚举行的RTA 2003第14届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-40254-3/pbk)。莱克特。注释计算。科学。2706, 46-60 (2003).MSC公司:68甲18 03B40型 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.-R.Sinot}等人,Lect。注释计算。科学。2706、46-60(2003年;Zbl 1038.68025) 全文: 链接
奥利维尔·伯内兹;科姆,盖·马利;瓦莱里·康拉德;赫莱内·基什内尔;莉莉亚娜·伊布内斯库 一种基于规则的方法,用于自动生成动力学化学机制。 (英语) 兹比尔1038.68558 Nieuwenhuis,Robert(编辑),重写技术和应用。2003年6月9日至11日在西班牙巴伦西亚举行的RTA 2003第14届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-40254-3/pbk)。莱克特。注释计算。科学。2706, 30-45 (2003).MSC公司:2012年第68季度 92E20型 PDF格式BibTeX公司 XML格式引用 \textit{O.Bournez}等人,Lect。注释计算。科学。2706、30--45(2003年;Zbl 1038.68558) 全文: 链接
史蒂文·艾克 大型关联交换重写。 (英语) Zbl 1038.68560号 Nieuwenhuis,Robert(编辑),重写技术和应用。2003年6月9日至11日在西班牙巴伦西亚举行的RTA 2003第14届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-40254-3/pbk)。莱克特。注释计算。科学。2706, 14-29 (2003).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{S.Eker},Lect。注释计算。科学。2706、14-29(2003年;Zbl 1038.68560) 全文: 链接
Gilles Dowek 汇流作为切割消除特性。 (英语) Zbl 1038.03054号 Nieuwenhuis,Robert(编辑),重写技术和应用。2003年6月9日至11日在西班牙巴伦西亚举行的RTA 2003第14届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-40254-3/pbk)。莱克特。注释计算。科学。2706, 2-13 (2003).MSC公司:05年3月 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Dowek},莱克特。注释计算。科学。2706,2--13(2003;Zbl 1038.03054) 全文: 链接
帕特里克·林肯 符号系统生物学。 (英语) Zbl 1038.68775号 Nieuwenhuis,Robert(编辑),重写技术和应用。2003年6月9日至11日在西班牙巴伦西亚举行的RTA 2003第14届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-40254-3/pbk)。莱克特。注释计算。科学。2706, 1 (2003).MSC公司:68单位99 92D20型 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Lincoln},莱克特。注释计算。科学。2706,1(2003年;Zbl 1038.68775) 全文: 链接