×

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

最新的 引文 关联
赫琳·基什内尔

重写策略和战略性重写程序。 （英语） 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 1294.68099号

Middeldorp，Aart（编辑），第八届改写和编程简化策略国际研讨会论文集（WRS 2008），奥地利哈根堡城堡，2008年7月14日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记237，3-21（2009）。
MSC公司：2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Raffelsieper}和\textit{H.Zantema}，电子。注释Theor。计算。科学。237、3--21（2009年；Zbl 1294.68099）
全文： 内政部
斯威德斯基，斯蒂芬;别了，迈克尔;吉尔根·吉斯尔;卡斯滕·福斯;彼得·施奈德·坎普

依赖对的终止分析和归纳定理证明。 （英语） Zbl 1237.68181号

Schmidt，Renate A.（编辑），自动扣除-CADE-22。第22届自动扣款国际会议，2009年8月2日至7日，加拿大蒙特利尔。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02958-5/pbk）。计算机科学讲座笔记5663。《人工智能讲义》，322-338（2009）。
MSC公司：68吨15 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Swiderski}等人，Lect。注释计算。科学。5663、322--338（2009年；Zbl 1237.68181）
全文： 内政部
伊莎贝·格尼迪格

优先级重写的终止。 （英语） Zbl 1234.68177号

Dediu，Adrian Horia（编辑）等人，《语言和自动机理论与应用》。2009年4月2-8日在西班牙塔拉戈纳举行的2009年拉丁美洲旅游协会第三届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-00981-5/pbk）。计算机科学课堂讲稿5457386-397（2009）。
MSC公司：2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{I.Gneedig}，莱克特。注释计算。科学。5457386--397（2009年；Zbl 1234.68177）
全文： 内政部 链接
雷内·蒂曼

从最外面的终端到最里面的终端。 （英语） Zbl 1206.68094号

尼尔森，莫根斯（编辑）等人，《SOFSEM 2009：计算机科学的理论与实践》。2009年1月24日至30日，第35届计算机科学理论与实践当前趋势会议，Špindlerův Ml \367]n，捷克共和国。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-95890-1/pbk）。计算机科学课堂讲稿5404533-545（2009）。
MSC公司：68号30 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Thiemann}，莱克特。注释计算。科学。5404533-545（2009年；Zbl 1206.68094）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

出版年份

主字段

全部的 前3名

软件