×

找到6个文档(结果1-6)

重写策略和策略重写程序。 (英语) Zbl 1321.68331号

Martí-Oliet,Narciso(编辑)等人,《逻辑、重写和并发》。纪念何塞·梅塞盖尔65岁生日的文章。查姆:施普林格(ISBN 978-3-319-23164-8/pbk;978-3-3169-23165-5/电子书)。计算机科学讲座笔记9200,380-403(2015)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

实现应用项重写的说明。 (英语) Zbl 1277.68109号

Antoy,Sergio(编辑),第六届改写和编程简化策略国际研讨会论文集(WRS 2006),西雅图,华盛顿州,美国,2006年8月11日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》174,第10期,139-155(2007)。
MSC公司:2012年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

正确完整的(积极的)战略注释OBJ公司. (英语) Zbl 1272.68071号

Gadducci,Fabio(编辑)等人,WRLA 2002。第四届重写逻辑及其应用国际研讨会论文集,意大利比萨,2002年9月19-21日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记71,70-89(2004)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

程序转换系统中重写策略的综述。 (英语) Zbl 1268.68105号

Gramlich,Bernhard(编辑)等人,WRS 2001。2001年5月26日,荷兰乌得勒支,第一次关于重写和编程中的减少战略的国际研讨会。车间后程序。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记57,109-143(2001)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份

主字段