M.克拉维尔。;F.杜兰。;艾克,S。;林肯,P。;新墨西哥州马丁·奥列特。;Mesaguer,J。;J.F.奎萨达。 莫德语是一种元语言。 (英语) Zbl 0917.68106号 Kirchner,Claude(编辑)等人,重写逻辑及其应用国际研讨会。1998年9月,法国蓬塔·穆松修道院。阿姆斯特丹:爱思唯尔,理论计算机科学电子笔记。15,第16号电子文件(1998年)。MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Clavel}等人,收录于:ITRWLW第二届重写逻辑及其应用国际研讨会。。1998年9月,法国蓬塔·穆松修道院。阿姆斯特丹:爱思唯尔。第16号电子文件(1998;Zbl 0917.68106) 全文: 链接
M.克拉维尔。;F.杜兰。;艾克,S。;林肯,P。;新墨西哥州马丁·奥列特。;梅塞盖尔,J。 Maude中的元级计算。 (英语) Zbl 0917.68024号 Kirchner,Claude(编辑)等人,重写逻辑及其应用国际研讨会。1998年9月,法国蓬塔·穆松修道院。阿姆斯特丹:爱思唯尔,理论计算机科学电子笔记。15,电子文件第3号(1998年)。MSC公司:68甲15 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Clavel}等人,收录于:ITRWLW第二届重写逻辑及其应用国际研讨会。。1998年9月,法国蓬塔·穆松修道院。阿姆斯特丹:爱思唯尔。电子文件第3号(1998年;Zbl 0917.68024) 全文: 链接