1.Connectivity Games over Dynamic Networks

作　　者：Sten Grüner ;Frank G. Radmacher ;Wolfgang Thomas

出　　处：Electronic Proceedings in Theoretical Computer Science. 2011 ;54:131-145.doi:10.4204/EPTCS.54.10

出版社：Open Publishing Association

文章 ID：83120164

文章详细全文下载
2.Trees over Infinite Structures and Path Logics with Synchronization

作　　者：Alex Spelten ;Wolfgang Thomas ;Sarah Winter

出　　处：Electronic Proceedings in Theoretical Computer Science. 2011 ;73:20-34.doi:10.4204/EPTCS.73.5

出版社：Open Publishing Association

文章 ID：83120362

文章详细全文下载
3.Model Checking Synchronized Products of Infinite Transition Systems

作　　者：Stefan Wöhrle ;Wolfgang Thomas

出　　处：Logical Methods in Computer Science. 2007 ;3(04).doi:10.2168/LMCS-3(4:5)2007

出版社：Technical University of Braunschweig

文章 ID：46838679

文章详细全文下载
4.Determinacy of Infinite Games: Perspectives of the Algorithmic Approach (Invited Talk)

作　　者：Wolfgang Thomas

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;82:6:1-6:1.doi:10.4230/LIPIcs.CSL.2017.6

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

文章 ID：200735072

文章详细全文下载
5.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篇
	澳大利亚	2篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Wolfgang Thomas")))) )) ) )"

	Wolfgang Thomas	5篇
	Alex Spelten	1篇
	Frank G. Radmacher	1篇
	Lukasz Kaiser	1篇
	Michael Holtmann	1篇

	Electronic Proceedings in Theoretical Computer Science	2篇
	Logical Methods in Computer Science	2篇
	LIPIcs : Leibniz International Proceedings in Informatics	1篇

	2017	1篇
	2012	1篇
	2011	2篇
	2007	1篇

	Sarah Winter	1篇
	Stefan Wöhrle	1篇
	Sten Grüner	1篇