首页期刊浏览 2024年11月24日星期日

登录注册

全文

	有本地全文	17篇
	有全文链接	5篇

出版年度

	2021	1篇
	2020	1篇
	2019	1篇
	2018	2篇
	2017	2篇

	2016	2篇
	2015	3篇
	2014	3篇
	2012	2篇
	2011	1篇
	2010	2篇
	2009	2篇

作者

	Massimo Lauria	21篇
	Jakob Nordström	4篇
	Yuval Filmus	4篇
	Jakob Nordstr{\"o}m	3篇
	Nicola Galesi	3篇

	Olaf Beyersdorff	3篇
	Francesca Giglio	2篇
	Marc Vinyals	2篇
	Maria Azzalin	2篇
	Albert Atserias	1篇
	Cherubina Modaffari	1篇
	Luciana Milazzo	1篇
	Maria Teresa Lucarelli	1篇
	Mladen Miksa	1篇
	Mladen Mikša	1篇
	Neil Thapen	1篇
	Nicola Galesi, Massimo Lauria	1篇
	Noga Ron-Zewi	1篇
	Pavel Hrube{\v{s	1篇
	Riccardo Pollo	1篇

来源期刊

	Electronic Colloquium on Computational Complexity	9篇
	Techne : Journal of Technology for Architecture and Environment	6篇
	LIPIcs : Leibniz International Proceedings in Informatics	4篇
	Agathón	3篇

学科主题

	计算技术、计算机技术	13篇
	建筑艺术	9篇

语种

英文

22篇

国别/地区

	德国	13篇
	意大利	9篇

检索条件:"( ( 高级检索(( ((AU:(("Massimo Lauria")))) )) ) )"

共 22 条记录

排序：全选导出：

1.Random CNFs require spacious Polynomial Calculus refutations

作　　者：Massimo Lauria

出　　处：Electronic Colloquium on Computational Complexity. 2009 ;2009.

出版社：Universität Trier, Lehrstuhl für Theoretische Computer-Forschung

文章 ID：88774537

文章详细全文下载
2.Space Complexity in Polynomial Calculus

作　　者：Yuval Filmus ;Massimo Lauria ;Jakob Nordström 等

出　　处：Electronic Colloquium on Computational Complexity. 2012 ;2012.

出版社：Universität Trier, Lehrstuhl für Theoretische Computer-Forschung

文章 ID：88774666

文章详细全文下载
3.A Characterization of Tree-Like Resolution Size

作　　者：Olaf Beyersdorff ;Nicola Galesi ;Massimo Lauria

出　　处：Electronic Colloquium on Computational Complexity. 2012 ;2012.

出版社：Universität Trier, Lehrstuhl für Theoretische Computer-Forschung

文章 ID：88774695

文章详细全文下载
4.Narrow Proofs May Be Maximally Long

作　　者：Albert Atserias ;Massimo Lauria ;Jakob Nordström

出　　处：Electronic Colloquium on Computational Complexity. 2014 ;2014.

出版社：Universität Trier, Lehrstuhl für Theoretische Computer-Forschung

文章 ID：95928675

文章详细全文下载
5.From Small Space to Small Width in Resolution

作　　者：Yuval Filmus ;Massimo Lauria ;Mladen Mikša 等

出　　处：Electronic Colloquium on Computational Complexity. 2014 ;2014.

出版社：Universität Trier, Lehrstuhl für Theoretische Computer-Forschung

文章 ID：95928712

文章详细全文下载
6.Operational tools for maintenance and renewal of school buildings patrimony

作　　者：Massimo Lauria ;Luciana Milazzo ;Cherubina Modaffari

出　　处：Techne : Journal of Technology for Architecture and Environment. 2015 ;0(9):288-298.doi:10.13128/Techne-16132

出版社：Firenze University Press

文章 ID：101265667

文章详细全文下载
7.On the Automatizability of Polynomial Calculus

作　　者：Nicola Galesi, Massimo Lauria

出　　处：Electronic Colloquium on Computational Complexity. 2009 ;2009.

出版社：Universität Trier, Lehrstuhl für Theoretische Computer-Forschung

文章 ID：47146784

文章详细全文下载
8.A Lower Bound for the Pigeonhole Principle in Tree-like Resolution by Asymmetric Prover-Delayer Games

作　　者：Olaf Beyersdorff ;Nicola Galesi ;Massimo Lauria

出　　处：Electronic Colloquium on Computational Complexity. 2010 ;2010.

出版社：Universität Trier, Lehrstuhl für Theoretische Computer-Forschung

文章 ID：47585162

文章详细全文下载
9.Hardness of Parameterized Resolution

作　　者：Olaf Beyersdorff ;Nicola Galesi ;Massimo Lauria

出　　处：Electronic Colloquium on Computational Complexity. 2010 ;2010.

出版社：Universität Trier, Lehrstuhl für Theoretische Computer-Forschung

文章 ID：47585184

文章详细全文下载
10.Tight Size-Degree Bounds for Sums-of-Squares Proofs

作　　者：Massimo Lauria ;Jakob Nordström

出　　处：Electronic Colloquium on Computational Complexity. 2015 ;2015.

出版社：Universität Trier, Lehrstuhl für Theoretische Computer-Forschung

文章 ID：113635723

文章详细

1 2 3 下一页尾页

电话：010-85195300

E-mail：cassoa@cass.org.cn

地址：中国北京建国门内大街5号中国社会科学院1#楼

扫一扫关注微信

联系我们|关于我们|网站声明

国家哲学社会科学文献中心版权所有