×

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

最新的 引文 关联
斯特凡·米利厄斯；德克·帕丁森；托尔斯滕·维曼

有限共渗的新基础。局部有限不动点及其性质。 （英语） Zbl 1475.68196号

Jacobs，Bart（编辑）等人，《软件科学和计算结构基础》。2016年4月2日至8日在荷兰埃因霍温举行的第19届国际会议FOSSACS 2016，作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。9634, 107-125 (2016).
MSC公司：70年第68季度 18B20型
PDF格式BibTeX公司 XML格式引用
\textit{S.Milius}等人，Lect。票据计算。科学。9634，107-125（2016；Zbl 1475.68196）
全文： 内政部
库普克，克莱门斯；德克·帕丁森；卢茨施罗德

算术模态逻辑中的全局假设推理。 （英语） Zbl 1436.03136号

Kosowski，Adrian（编辑）等人，《计算理论基础》。2015年8月17日至19日，第20届国际研讨会，FCT 2015，波兰根斯克。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。9210, 367-380 (2015).
MSC公司：03B45 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Kupke}等人，Lect。票据计算。科学。9210，367--380（2015；Zbl 1436.03136）
全文： 内政部 链接
亚历山大·库兹；斯特凡·米利厄斯；德克·帕丁森；卢茨施罗德

简化的余代数迹等价。 （英语） Zbl 1453.68112号

De Nicola，Rocco（编辑）等人，《软件、服务和系统》。马丁·威辛（Martin Wirsing）于2015年从德国慕尼黑的编程和软件工程主席退休之际发表的论文。论文。查姆：斯普林格。莱克特。票据计算。科学。8950, 75-90 (2015).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.Kurz}等人，Lect。票据计算。科学。8950，75-90（2015；Zbl 1453.68112）
全文： 内政部 arXiv公司
比约恩·莱尔曼；德克·帕丁森

刘易斯条件逻辑的顺序系统。 （英语） Zbl 1361.68238号

Fariñas del Cerro，Luis（编辑）等人，《人工智能中的逻辑》。2012年9月26日至28日，第13届欧洲会议，2012年JELIA，法国图卢兹。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-33352-1/pbk）。计算机科学课堂讲稿7519。《人工智能课堂讲稿》，320-332（2012）。
MSC公司：68T27型 03B60号 05年3月 2015年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Lellmann}和\textit{D.Pattinson}，Lect。票据计算。科学。7519、320——332（2012年；Zbl 1361.68238）
全文： 内政部
比约恩·莱尔曼；德克·帕丁森

浅模态逻辑的截消。 （英语） Zbl 1244.68069号

Brünnler，Kai（编辑）等人，使用分析表和相关方法进行自动推理。2011年7月4日至8日，瑞士伯尔尼，第20届国际会议，TABLEAUX 2011。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22118-7/pbk）。计算机科学讲义6793。《人工智能课堂讲稿》，211-225（2011）。
审核人：G.E.Mints（斯坦福）
MSC公司：68吨15 03B45 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{B.Lellmann}和\textit{D.Pattinson}，Lect。票据计算。科学。6793211-225（2011年；兹bl 1244.68069）
全文： 内政部
拉杰夫·戈尔；库普克，克莱门斯；德克·帕丁森；卢茨施罗德

用于联合描述逻辑的全局缓存。 （英语） Zbl 1291.03017号

Giesl，Jürgen（编辑）等人，《自动推理》。2010年7月16日至19日，英国爱丁堡，第五届国际联合会议，IJCAR 2010。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-14202-4/pbk）。计算机科学讲义6173。人工智能课堂讲稿，46-60（2010）。
MSC公司：03B35型 03B45 68吨15 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{R.Goré}等人，Lect。票据计算。科学。6173，46-60（2010；Zbl 1291.03017）
全文： 内政部
科琳娜·Cîrstea；库普克，克莱门斯；德克·帕丁森

用于余代数\（\mu\）-演算的EXPTIME表格。 （英语） Zbl 1257.03045号

Grädel，Erich（编辑）等人，《计算机科学逻辑》。2009年9月7日至11日在葡萄牙科英布拉举行的第23届CSL国际研讨会，EACSL第18届年会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04026-9/pbk）。计算机科学课堂讲稿5771179-193（2009）。
MSC公司：03B45 03B35型 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Cêrstea}等人，Lect。票据计算。科学。5771、179--193（2009年；Zbl 1257.03045）
全文： 内政部 链接
罗伯·迈尔斯；德克·帕丁森；卢茨施罗德

协代数混合逻辑。 （英语） Zbl 1234.03020号

de Alfaro，Luca（编辑），《软件科学和计算结构基础》。2009年3月22日至29日在英国约克举行的第12届国际会议FOSSACS 2009，作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-00595-4/pbk）。计算机科学讲座笔记5504137-151（2009）。
MSC公司：03B70号 03B45 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{R.Myers}等人，Lect。票据计算。科学。5504137--151（2009年；Zbl 1234.03020）
全文： 内政部
德克·帕丁森；卢茨施罗德

合并逻辑中切割的可接受性。 （英语） Zbl 1279.03087号

Adámek，J.（ed.）等人，第九届计算机科学联合方法研讨会论文集（CMCS 2008），匈牙利布达佩斯，2008年4月4日至6日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》203，第5期，221-241（2008）。
MSC公司：03G30型 03B45 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{D.Pattinson}和\textit{L.Schröder}，电子。注释Theor。计算。科学。203，第5号，221--241（2008；Zbl 1279.03087）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

串行

全部的 前5名

出版年份

主字段

全部的 前3名

软件