首页期刊浏览 2024年12月02日星期一

登录注册

全文

有本地全文

9篇

出版年度

	2015	2篇
	2012	4篇
	2011	1篇
	2008	2篇

作者

	Lukasz Kaiser	9篇
	Diana Fischer	2篇
	Erich Gr{\"a}del	2篇
	Simon Le{\ss}enich	2篇
	Bernd Puchala	1篇

	Christof L{\"o}ding	1篇
	Dietmar Berwanger	1篇
	Faried Abu Zaid	1篇
	Martin Lang	1篇
	Michael Holtmann	1篇
	Roman Rabinovich	1篇
	Saeed Akhoondian Amiri	1篇
	Sasha Rubin	1篇
	Sebastian Siebertz	1篇
	Stephan Kreutzer	1篇
	Vince B{\'a}r{\'a}ny	1篇
	Wolfgang Thomas	1篇

来源期刊

	LIPIcs : Leibniz International Proceedings in Informatics	7篇
	Logical Methods in Computer Science	2篇

学科主题

计算技术、计算机技术

9篇

语种

英文

9篇

国别/地区

德国

9篇

检索条件:"( ( 高级检索(( ((AU:(("Lukasz Kaiser")))) )) ) )"

共 9 条记录

排序：全选导出：

1.Model Checking the Quantitative Î¼-Calculus on Linear Hybrid Systems

作　　者：Diana Fischer ;Lukasz Kaiser

出　　处：Logical Methods in Computer Science. 2012 ;8(3):1.doi:10.2168/LMCS-8(3:21)2012

出版社：Technical University of Braunschweig

文章 ID：264691978

文章详细全文下载
2.Degrees of Lookahead in Regular Infinite Games

作　　者：Michael Holtmann ;Lukasz Kaiser ;Wolfgang Thomas

出　　处：Logical Methods in Computer Science. 2012 ;8(3):1.doi:10.2168/LMCS-8(3:24)2012

出版社：Technical University of Braunschweig

文章 ID：264691983

文章详细全文下载
3.Model Checking Games for the Quantitative µ-Calculus

作　　者：Diana Fischer ;Erich Gr{\"a}del ;Lukasz Kaiser

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2008 ;1:301-312.doi:10.4230/LIPIcs.STACS.2008.1352

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186845457

文章详细全文下载
4.Cardinality and counting quantifiers on omega-automatic structures

作　　者：Lukasz Kaiser ;Sasha Rubin ;Vince B{\'a}r{\'a}ny

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2008 ;1:385-396.doi:10.4230/LIPIcs.STACS.2008.1360

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186845464

文章详细全文下载
5.A Perfect-Information Construction for Coordination in Games

作　　者：Dietmar Berwanger ;Lukasz Kaiser ;Bernd Puchala

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2011 ;13:387-398.doi:10.4230/LIPIcs.FSTTCS.2011.387

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186845894

文章详细全文下载
6.The Field of Reals is not omega-Automatic

作　　者：Faried Abu Zaid ;Erich Gr{\"a}del ;Lukasz Kaiser

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2012 ;14:577-588.doi:10.4230/LIPIcs.STACS.2012.577

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186846062

文章详细全文下载
7.A Counting Logic for Structure Transition Systems

作　　者：Lukasz Kaiser ;Simon Le{\ss}enich

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2012 ;16:366-380.doi:10.4230/LIPIcs.CSL.2012.366

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186846171

文章详细全文下载
8.Graph Searching Games and Width Measures for Directed Graphs

作　　者：Saeed Akhoondian Amiri ;Lukasz Kaiser ;Stephan Kreutzer 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;30:34-47.doi:10.4230/LIPIcs.STACS.2015.34

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186846650

文章详细全文下载
9.A Unified Approach to Boundedness Properties in MSO

作　　者：Lukasz Kaiser ;Martin Lang ;Simon Le{\ss}enich 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;41:441-456.doi:10.4230/LIPIcs.CSL.2015.441

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186847062

文章详细全文下载

1

电话：010-85195300

E-mail：[email protected]

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

扫一扫关注微信

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

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