×

找到11个文档（结果1-11）

最新 引文 关联
阿勒科恩，比阿特丽兹;劳尔·古铁雷斯;萨尔瓦多卢卡斯;拉斐尔·纳瓦罗·马塞特

用证明终止属性多项. （英语） Zbl 1308.68068号

Johnson，Michael（编辑）等人，《代数方法论和软件技术》。2010年6月23日至25日，加拿大魁北克省Lac-Beauport，AMAST 2010，第13届国际会议。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-17795-8/pbk）。计算机科学讲义6486201-208（2011）。
MSC公司：2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Alarcón}等人，Lect。注释计算。科学。6486201-208（2011年；兹比尔1308.68068）
全文： 内政部
阿勒科恩，比阿特丽兹;劳尔·古铁雷斯;何塞·伊波拉;萨尔瓦多卢卡斯

用MU-TERM证明上下文相关重写的终止。 （英语） Zbl 1278.68113号

Lucio，Paqui（编辑）等人，《第六届西班牙编程与语言会议论文集》（PROLE 2006），西班牙巴塞罗那Sitges，2006年10月4-6日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记188105-115（2007）。
MSC公司：2012年第68季度 68甲15
PDF格式BibTeX公司 XML格式引用
\textit{B.Alarcón}等人，《电子》。注释Theor。计算。科学。188105-115（2007年；兹bl 1278.68113）
全文： 内政部
阿勒科恩，比阿特丽兹;劳尔·古铁雷斯;萨尔瓦多卢卡斯

改进上下文相关的依赖关系图。 （英语） Zbl 1278.68114号

Lucio，Paqui（编辑）等人，《第六届西班牙编程与语言会议论文集》（PROLE 2006），西班牙巴塞罗那Sitges，2006年10月4-6日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记188，91-103（2007）。
MSC公司：2012年第68季度 68甲15
PDF格式BibTeX公司 XML格式引用
\textit{B.Alarcón}等人，《电子》。注释Theor。计算。科学。188、91——103（2007年；Zbl 1278.68114）
全文： 内政部
玛丽亚·阿尔普特;圣地亚哥埃斯科瓦尔;萨尔瓦多卢卡斯

正确完整的（积极的）战略注释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}等人，《电子》。注释Theor。计算。科学。71、70-89（2004年；Zbl 1272.68071）
全文： 链接
萨尔瓦多卢卡斯

懒惰重写和上下文敏感重写。 （英语） Zbl 1268.68100号

Michael Hanus（编辑），WFLP 2001。功能和（约束）逻辑编程国际研讨会论文集，德国基尔，2001年9月13日至15日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记64，234-254（2002）。
MSC公司：2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Lucas}，电子。注释Theor。计算。科学。64、234--254（2002年；Zbl 1268.68100）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件