×

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

可逆项重写。 (英语) Zbl 1387.68147号

Kesner,Delia(ed.)等人,第一届计算和扣减形式结构国际会议,2016年金融稳定与发展委员会,葡萄牙波尔图,2016年6月22日至26日。诉讼程序。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-95977-010-1)。LIPIcs–莱布尼茨国际信息学学报52,第28条,第18页(2016年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

逆展开问题及其启发式求解。 (英语) Zbl 1428.68126号

Schmidt-Schauß,Manfred(ed.)等人,《程序转换和评估重写技术第一次国际研讨会》,WPTE'14,奥地利维也纳,2014年7月13日。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。OASIcs–OpenAccess服务器。通知。40, 27-38 (2014).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

尾部递归函数的程序反演。 (英语) Zbl 1236.68144号

Schmid-Schauß,Manfred(编辑),第22届改写技术和应用国际会议(RTA 2011),塞尔维亚诺维萨德,2011年5月30日至6月1日。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-30-9)。LIPIcs–莱布尼茨国际信息学论文集10283-298,仅电子版(2011)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

确定性条件项重写系统通过与线性相关的超属性展开的合理性。 (英语) Zbl 1236.68143号

Schmid-Schauß,Manfred(编辑),第22届改写技术和应用国际会议(RTA 2011),塞尔维亚诺维萨德,2011年5月30日至6月1日。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-30-9)。LIPIcs–莱布尼茨国际信息学论文集10,267-282,仅电子版(2011)。
MSC公司:2012年第68季度
PDF格式BibTeX公司 XML格式引用

用于精炼未分解的条件项重写系统的转换。 (英语) Zbl 1277.68107号

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

筛选结果依据…

文档类型

全部的 前5名

出版年份

主字段