1.Guarded Teams: The Horizontally Guarded Case

作　　者：Erich Gr{"a}del ;Martin Otto

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;152:1-17.doi:10.4230/LIPIcs.CSL.2020.22

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

文章 ID：243494223

文章详细全文下载

2.Choiceless Logarithmic Space

作　　者：Erich Gr{"a}del ;Svenja Schalth{"o}fer

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;138:1-15.doi:10.4230/LIPIcs.MFCS.2019.31

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

文章 ID：238891981

文章详细全文下载

3.Approximations of Isomorphism and Logics with Linear-Algebraic Operators

作　　者：Anuj Dawar ;Erich Gr{"a}del ;Wied Pakusa

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;132:1-14.doi:10.4230/LIPIcs.ICALP.2019.112

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

文章 ID：238892247

文章详细全文下载

4.Advice Automatic Structures and Uniformly Automatic Classes

作　　者：Faried Abu Zaid ;Erich Gr{\"a}del ;Frederic Reinhardt

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

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

文章 ID：200735101

文章详细全文下载

5.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

文章详细全文下载

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.Definability of linear equation systems over groups and rings

作　　者：Anuj Dawar ;Erich Gr{\"a}del ;Bjarki Holm 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2012 ;16:213-227.doi:10.4230/LIPIcs.CSL.2012.213

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

文章 ID：186846161

文章详细全文下载

8.Banach-Mazur Games with Simple Winning Strategies

作　　者：Erich Gr{\"a}del ;Simon Le{\ss}enich

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2012 ;16:305-319.doi:10.4230/LIPIcs.CSL.2012.305

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

文章 ID：186846167

文章详细全文下载

9.Rank Logic is Dead, Long Live Rank Logic!

作　　者：Erich Gr{\"a}del ;Wied Pakusa

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;41:390-404.doi:10.4230/LIPIcs.CSL.2015.390

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

文章 ID：186847059

文章详细全文下载

10.Counting in Team Semantics

作　　者：Erich Gr{\"a}del ;Stefan Hegselmann

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;62:35:1-35:18.doi:10.4230/LIPIcs.CSL.2016.35

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

文章 ID：186847959

文章详细全文下载

	2020	1篇
	2019	2篇
	2018	1篇
	2017	1篇
	2016	1篇

	Lukasz Kaiser	2篇
	Bjarki Holm	1篇
	Diana Fischer	1篇
	Eryk Kopczynski	1篇
	Frederic Reinhardt	1篇
	Martin Otto	1篇
	Matthias Hoelzel	1篇
	Simon Le{\ss}enich	1篇
	Stefan Hegselmann	1篇
	Svenja Schalth{"o}fer	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Erich Gr{\"a}del")))) )) ) )"

	Erich Gr{\"a}del	8篇
	Erich Gr{"a}del	3篇
	Wied Pakusa	3篇
	Anuj Dawar	2篇
	Faried Abu Zaid	2篇