格里高·罗什乌;马赫什·维斯瓦纳坦 通过重写以增量方式测试扩展的正则语言成员资格。 （英语） 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） 全文： 链接