1.Front Matter, Table of Contents, Preface, Conference Organization, List of Authors

作　　者：Michael Benedikt ;Giorgio Orsi

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;68:0:i-0:xii.doi:10.4230/LIPIcs.ICDT.2017.0

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

文章 ID：191698388

文章详细全文下载
2.Characterizing Definability in Decidable Fixpoint Logics

作　　者：Michael Benedikt ;Pierre Bourhis ;Michael Vanden Boom

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;80:107:1-107:14.doi:10.4230/LIPIcs.ICALP.2017.107

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

文章 ID：198372061

文章详细全文下载
3.Two Variable Logic with Ultimately Periodic Counting

作　　者：Michael Benedikt ;Egor V. Kostylev ;Tony Tan

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;168:112:1-112:16.doi:10.4230/LIPIcs.ICALP.2020.112

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

文章 ID：255823147

文章详细全文下载
4.Two Variable vs. Linear Temporal Logic in Model Checking and Games

作　　者：Michael Benedikt ;Rastislav Lenhardt ;James Worrell

出　　处：Logical Methods in Computer Science. 2013 ;9(2):1.doi:10.2168/LMCS-9(2:4)2013

出版社：Technical University of Braunschweig

文章 ID：264692047

文章详细全文下载
5.Query Answering with Transitive and Linear-Ordered Data

作　　者：Antone Amarilli ;Michael Benedikt ;Pierre Bourhis 等

出　　处：Journal of Artificial Intelligence Research. 2018 ;63:191-264.doi:10.1613/jair.1.11240

出版社：American Association of Artificial

文章 ID：228076606

文章详细全文下载

	德国	4篇
	美国	1篇

全文

出版年度

作者

文章类型

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Michael Benedikt")))) )) ) )"

	Michael Benedikt	5篇
	Michael Vanden Boom	2篇
	Pierre Bourhis	2篇
	Antone Amarilli	1篇
	Egor V. Kostylev	1篇

	Giorgio Orsi	1篇
	James Worrell	1篇
	Rastislav Lenhardt	1篇
	Tony Tan	1篇

	LIPIcs : Leibniz International Proceedings in Informatics	3篇
	Journal of Artificial Intelligence Research	1篇
	Logical Methods in Computer Science	1篇

	2020	1篇
	2018	1篇
	2017	2篇
	2013	1篇