乌尔里克·莱什内尔 分布式系统的面向对象规范。 （英语） Zbl 0917.68069号 Kirchner，Claude（编辑）等人，重写逻辑及其应用国际研讨会。1998年9月，法国蓬塔·穆松修道院。阿姆斯特丹：爱思唯尔，理论计算机科学电子笔记。15，第27号电子文件（1998年）。MSC公司：2010年第68季度 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{U.Lechner}，收录于：ITRWLW第二届重写逻辑及其应用国际研讨会。。1998年9月，法国蓬塔·穆松修道院。阿姆斯特丹：爱思唯尔。电子文件第27号（1998年；Zbl 0917.68069） 全文： 链接
曼纽尔·克莱维尔 一般逻辑、重写逻辑和莫德的反思。 （英语） 兹比尔0917.68108 Kirchner，Claude（编辑）等人，重写逻辑及其应用国际研讨会。1998年9月，法国蓬塔·穆松修道院。阿姆斯特丹：爱思唯尔，理论计算机科学电子笔记。15，第21号电子文件（1998年）。MSC公司：第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Clavel}，in：I第二届重写逻辑及其应用国际研讨会，RWLW。。1998年9月，法国蓬塔·穆松修道院。阿姆斯特丹：爱思唯尔。第21号电子文件（1998；Zbl 0917.68108） 全文： 链接
斯格尔斯，L.J。;彼得·科修琴科 SDL的定时重写逻辑语义：交替位协议的案例研究。 （英语） Zbl 0917.68116号 Kirchner，Claude（编辑）等人，重写逻辑及其应用国际研讨会。1998年9月，法国蓬塔·穆松修道院。阿姆斯特丹：爱思唯尔，理论计算机科学电子笔记。15，电子文件第20号（1998年）。MSC公司：第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{L.J.Steggles}和\textit{P.Kosiuczenko}，收录于：I第二届重写逻辑及其应用国际研讨会，RWLW。。1998年9月，法国蓬塔·穆松修道院。阿姆斯特丹：爱思唯尔。第20号电子文件（1998；Zbl 0917.68116） 全文： 链接
Denker，砂砾 从重写理论到时序逻辑理论。 （英语） Zbl 0917.68103号 Kirchner，Claude（编辑）等人，重写逻辑及其应用国际研讨会。1998年9月，法国蓬塔·穆松修道院。阿姆斯特丹：爱思唯尔，理论计算机科学电子笔记。15，第19号电子文件（1998年）。MSC公司：第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Denker}，in：I第二届重写逻辑及其应用国际研讨会，RWLW。。1998年9月，法国蓬塔·穆松修道院。阿姆斯特丹：爱思唯尔。第19号电子文件（1998；Zbl 0917.68103） 全文： 链接
M.克拉维尔。;F.杜兰。;艾克，S。;林肯，P。;新墨西哥州马丁·奥列特。;梅萨格，J。;J.F.奎萨达。 莫德语是一种元语言。 （英语） 兹比尔0917.68106 Kirchner，Claude（编辑）等人，重写逻辑及其应用国际研讨会。1998年9月，法国蓬塔·穆松修道院。阿姆斯特丹：爱思唯尔，理论计算机科学电子笔记。15，第16号电子文件（1998年）。MSC公司：第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Clavel}等人，收录于：ITRWLW第二届重写逻辑及其应用国际研讨会。。1998年9月，法国蓬塔·穆松修道院。阿姆斯特丹：爱思唯尔。第16号电子文件（1998；Zbl 0917.68106） 全文： 链接
罗伯托·布鲁尼 异步和同步并发系统的逻辑模块化描述。 （英语） Zbl 0917.68099号 Kirchner，Claude（编辑）等人，重写逻辑及其应用国际研讨会。1998年9月，法国蓬塔·穆松修道院。阿姆斯特丹：爱思唯尔，理论计算机科学电子笔记。第15号电子文件（1998年）。MSC公司：第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Bruni}，in：I第二届重写逻辑及其应用国际研讨会，RWLW。。1998年9月，法国蓬塔·穆松修道院。阿姆斯特丹：爱思唯尔。第15号电子文件（1998；Zbl 0917.68099） 全文： 链接
弗朗西斯科·杜兰;何塞·梅塞格尔 Maude的可扩展模块代数。 （英语） Zbl 0919.68076号 Kirchner，Claude（编辑）等人，重写逻辑及其应用国际研讨会。1998年9月，法国蓬塔·穆松修道院。阿姆斯特丹：爱思唯尔，理论计算机科学电子笔记。15，电子文件第13号（1998年）。MSC公司：第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Durán}和\textit{J.Meseguer}，收录于：I第二届重写逻辑及其应用国际研讨会，RWLW。。1998年9月，法国蓬塔·穆松修道院。阿姆斯特丹：爱思唯尔。第13号电子文件（1998；Zbl 0919.68076） 全文： 链接
R.布鲁尼。;梅塞盖尔，J。;美国蒙塔纳里。 瓦片系统重写实现中的内部策略。 （英语） Zbl 0917.68104号 Kirchner，Claude（编辑）等人，重写逻辑及其应用国际研讨会。1998年9月，法国Mousson桥的圣母院。阿姆斯特丹：爱思唯尔，理论计算机科学电子笔记。15，电子文件第9号（1998年）。MSC公司：第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Bruni}等人，收录于：ITRWLW第二届重写逻辑及其应用国际研讨会。。1998年9月，法国蓬塔·穆松修道院。阿姆斯特丹：爱思唯尔。第9号电子文件（1998；Zbl 0917.68104） 全文： 链接
Jean-Pierre Jouannaud 成员方程逻辑、归纳指令演算和重写逻辑。（扩展摘要）。 （英语） Zbl 0917.68118号 Kirchner，Claude（编辑）等人，重写逻辑及其应用国际研讨会。1998年9月，法国蓬塔·穆松修道院。阿姆斯特丹：爱思唯尔，理论计算机科学电子笔记。15，第8号电子文件（1998年）。MSC公司：第68季度第42季度 68问题55 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{J.-P.Jouannaud}，in：I第二届重写逻辑及其应用国际研讨会，RWLW。。1998年9月，法国蓬塔·穆松修道院。阿姆斯特丹：爱思唯尔。第8号电子文件（1998；Zbl 0917.68118） 全文： 链接
史蒂文·艾克 使用运算符求值策略重写术语。 （英语） Zbl 0917.68113号 Kirchner，Claude（编辑）等人，重写逻辑及其应用国际研讨会。1998年9月，法国蓬塔·穆松修道院。阿姆斯特丹：爱思唯尔，理论计算机科学电子笔记。15，电子文件第5号（1998年）。MSC公司：第68季度第42季度 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{S.Eker}，in：I第二届重写逻辑及其应用国际研讨会，RWLW。。1998年9月，法国蓬塔·穆松修道院。阿姆斯特丹：爱思唯尔。第5号电子文件（1998；Zbl 0917.68113） 全文： 链接
M.克拉维尔。;F.杜兰。;艾克，S。;林肯，P。;新墨西哥州马丁·奥列特。;梅塞盖尔，J。 Maude中的元级计算。 （英语） Zbl 0917.68024号 Kirchner，Claude（编辑）等人，重写逻辑及其应用国际研讨会。1998年9月，法国蓬塔·穆松修道院。阿姆斯特丹：爱思唯尔，理论计算机科学电子笔记。15，电子文件第3号（1998年）。MSC公司：68甲15 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Clavel}等人，收录于：ITRWLW第二届重写逻辑及其应用国际研讨会。。1998年9月，法国Mousson桥的圣母院。阿姆斯特丹：爱思唯尔。电子纸3号（1998；Zbl 0917.68024） 全文： 链接
何塞·梅塞格尔;乌戈·蒙塔纳里 将平铺逻辑映射到重写逻辑。 （英语） Zbl 0903.08010 Parisi Presicce，Francesco（编辑），代数开发技术的最新趋势。1997年6月3日至7日，第12届国际研讨会，WADT’97，意大利塔基尼亚。精选论文。柏林：斯普林格。莱克特。注释计算。科学。1376, 62-91 (1998).MSC公司：08A70号 68问题65 18立方厘米 2010年第68季度 68问题55 18D05日 18日第10天 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}和\textit{U.Montanari}，莱克特。注释计算。科学。1376、62-91（1998年；Zbl 0903.08010）