赫琳·基什内尔 重写策略和策略重写程序。 (英语) Zbl 1321.68331号 Martí-Oliet,Narciso(编辑)等人,《逻辑、重写和并发》。纪念何塞·梅塞盖尔65岁生日的文章。查姆:施普林格(ISBN 978-3-319-23164-8/pbk;978-3-3169-23165-5/电子书)。计算机科学讲座笔记9200,380-403(2015)。MSC公司:2012年第68季度 03B70号 68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{H.Kirchner},莱克特。注释计算。科学。9200、380——403(2015年;Zbl 1321.68331) 全文: 内政部 哈尔
蒙克·范·维尔登堡 实现应用项重写的说明。 (英语) Zbl 1277.68109号 Antoy,Sergio(编辑),第六届改写和编程简化策略国际研讨会论文集(WRS 2006),西雅图,华盛顿州,美国,2006年8月11日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》174,第10期,139-155(2007)。MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.van Weerdenburg},电子。理论注释。计算。科学。174,第10号,139--155(2007;Zbl 1277.68109) 全文: 内政部
埃尔科·维瑟 基于规则的程序转换系统中策略的调查。 (英语) Zbl 1129.68043号 J.塞姆。计算。 40,第1期,831-873(2005).MSC公司:68问题55 2012年第68季度 60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{E.Visser},J.Symb。计算。40,编号1831--873(2005;Zbl 1129.68043) 全文: 内政部 链接
玛丽亚·阿尔普特;圣地亚哥埃斯科瓦尔;萨尔瓦多卢卡斯 正确完整的(积极的)战略注释OBJ公司. (英语) Zbl 1272.68071号 Gadducci,Fabio(编辑)等人,WRLA 2002。第四届重写逻辑及其应用国际研讨会论文集,意大利比萨,2002年9月19-21日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记71,70-89(2004)。MSC公司:68甲15 第68页第19页 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人,《电子》。理论注释。计算。科学。71、70-89(2004年;Zbl 1272.68071) 全文: 链接
萨尔瓦多卢卡斯 上下文敏感重写策略。 (英语) Zbl 1012.68095号 Inf.计算。 178,第1期,294-343(2002).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Lucas},Inf.计算。178,编号1,294--343(2002;Zbl 1012.68095) 全文: 内政部
埃尔科·维瑟 程序转换系统中重写策略的综述。 (英语) Zbl 1268.68105号 Gramlich,Bernhard(编辑)等人,WRS 2001。2001年5月26日,荷兰乌得勒支,第一次关于重写和编程中的减少战略的国际研讨会。车间后程序。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记57,109-143(2001)。MSC公司:2012年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{E.Visser},电子。理论注释。计算。科学。57、109--143(2001年;Zbl 1268.68105) 全文: 内政部