×

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

最新的 引文 关联
丹尼尔·塞尔萨姆；莱昂纳多·德·莫拉

内涵型理论中的同余闭包。 （英语） Zbl 1475.68452号

Olivetti，Nicola（编辑）等人，《自动推理》。2016年6月27日至7月2日在葡萄牙科因布拉举行的2016年第八届国际联合会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9706, 99-115 (2016).
MSC公司：68伏15 03B35型 03B38型
PDF格式BibTeX公司 XML格式引用
\textit{D.Selsam}和\textit{L.de Moura}，莱克特。注释计算。科学。9706,99-115（2016；Zbl 1475.68452）
全文： 内政部 arXiv公司
何塞·梅塞盖尔

有序重写和同余闭包。 （英语） Zbl 1475.68142号

Jacobs，Bart（编辑）等人，《软件科学和计算结构基础》。2016年4月2日至8日在荷兰埃因霍温举行的第19届国际会议FOSSACS 2016，作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。9634, 493-509 (2016).
MSC公司：2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Meseguer}，莱克特。注释计算。科学。9634，493--509（2016；Zbl 1475.68142）
全文： 内政部
彼得·贝克曼；菲利普·吕默

有界刚性统一的有效算法。 （英语） Zbl 1471.68300号

De Nivelle，Hans（编辑），用分析表和相关方法进行自动推理。第24届国际会议，TABLEAUX 2015，波兰Wrocław，2015年9月21日至24日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9323, 70-85 (2015).
MSC公司：68伏15 03B35型 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Backeman}和\textit{P.吕默}，莱克特。注释计算。科学。9323，70-85（2015；Zbl 1471.68300）
全文： 内政部
雷娜特·施密特（Renate A.Schmidt）。；乌韦·沃尔德曼

具有阻塞和同余闭包的模态表系统。 （英语） Zbl 1471.03018号

De Nivelle，Hans（编辑），用分析表和相关方法进行自动推理。第24届国际会议，TABLEAUX 2015，波兰Wrocław，2015年9月21日至24日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9323, 38-53 (2015).
MSC公司：03B35型 03B25号 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{R.A.Schmidt}和\textit{U.Waldmann}，Lect。注释计算。科学。9323，38--53（2015；Zbl 1471.03018）
全文： 内政部 链接
彼得·贝克曼；菲利普·吕默

有界刚性统一的定理证明。 （英语） Zbl 1431.03022号

Felty，Amy P.（编辑）等人，《自动扣除——CADE-25》。2015年8月1日至7日在德国柏林举行的第25届自动扣减国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。第9195页，第572-587页（2015年）。
MSC公司：03B35型 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{P.Backeman}和\textit{P.吕默}，莱克特。注释计算。科学。9195572--587（2015；Zbl 1431.03022）
全文： 内政部
玛丽亚·保拉（Maria Paola Bonacina）；纳鸿·德肖维茨

经典地喇叭理论。 （英语） Zbl 1383.03042号

沃伦科夫，安德烈（编辑）等人，《编程逻辑》。纪念哈拉尔德·甘辛格的文章。柏林：施普林格出版社（ISBN 978-3-642-37650-4/pbk）。计算机科学课堂讲稿7797，35-71（2013）。
MSC公司：03B70号 03B35型 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.P.Bonacina}和\textit{N.Dershowitz}，莱克特。注释计算。科学。7797，35-71（2013；Zbl 1383.03042）
全文： 内政部
Sylvain Conchon公司；伊芙琳·孔特让；穆罕默德·伊格尔内拉拉

将肖斯塔克理论中的重写和地面AC完成模块经典化。 （英语） Zbl 1315.68219号

Abdulla，Parosh Aziz（编辑）等人，《系统构建和分析的工具和算法》。2011年3月26日至4月3日在德国萨尔布吕肯举行的第17届国际会议（TACAS 2011），是欧洲软件理论与实践联合会议（ETAPS 2011）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-19834-2/pbk）。计算机科学讲座笔记6605，45-59（2011）。
MSC公司：68吨15 03B25号 03B35型 03D40号
PDF格式BibTeX公司 XML格式引用
\textit{S.Conchon}等人，Lect。注释计算。科学。6605，45-59（2011；Zbl 1315.68219）
全文： 内政部 arXiv公司
玛丽亚·保拉（Maria Paola Bonacina）；穆纳乔·埃切宁

递归数据结构的基于重写的可满足性过程。 （英语） Zbl 1277.68239号

Cook，B.（ed.）等人，第四届自动推理决策程序语用学研讨会（PDPAR 2006）和第一届概率自动机和逻辑国际研讨会（PaUL 2006）的联合会议记录，西雅图，华盛顿州，美国，2006年8月。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》174，第8期，55-70（2007）。
MSC公司：68吨15 68第05页
PDF格式BibTeX公司 XML格式引用
\textit{M.P.Bonacina}和\textit{M.Echenim}，电子。注释Theor。计算。科学。174，第8号，55--70（2007；Zbl 1277.68239）
全文： 内政部
克拉克·巴雷特；伊戈尔·什卡尼安；塞萨尔·蒂内利

递归数据类型理论中可满足性的抽象决策过程。 （英语） Zbl 1277.68132号

Cook，B.（ed.）等人，第四次自动推理决策过程语用学研讨会（PDPAR 2006）和第一次概率自动机和逻辑国际研讨会（PaUL 2006）的合并会议记录，美国华盛顿州西雅图，2006年8月。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》174，第8期，23-37页（2007年）。
MSC公司：60年第68季度 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{C.Barrett}等人，《电子》。注释Theor。计算。科学。174，第8号，23--37（2007；Zbl 1277.68132）
全文： 内政部
史蒂文·艾克；马丁·奥列特，纳西索；何塞·梅塞盖尔；阿尔贝托·维尔德乔

演绎、策略和重写。 （英语） Zbl 1277.68241号

Archer，Myler（编辑）等人，第六届自动扣除策略国际研讨会论文集（strategies 2006），西雅图，华盛顿州，美国，2006年8月16日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》174，第11期，3-25页（2007年）。
MSC公司：68吨15 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Eker}等人，《电子》。注释Theor。计算。科学。174，第11号，第3--25号（2007；Zbl 1277.68241）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件