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

文章详细全文下载
2.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

文章详细全文下载
3.The Cayley-Graph of the Queue Monoid: Logic and Decidability

作　　者：Faried Abu Zaid ;Chris K{\"o}cher

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;122:1-17.doi:10.4230/LIPIcs.FSTTCS.2018.9

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

文章 ID：230213158

文章详细全文下载
4.Uniformly Automatic Classes of Finite Structures

作　　者：Faried Abu Zaid

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;122:1-21.doi:10.4230/LIPIcs.FSTTCS.2018.10

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

文章 ID：230213159

文章详细全文下载
5.Climbing up the Elementary Complexity Classes with Theories of Automatic Structures

作　　者：Faried Abu Zaid ;Dietrich Kuske ;Peter Lindner

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;119:1-16.doi:10.4230/LIPIcs.CSL.2018.3

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

文章 ID：230213278

文章详细全文下载

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Faried Abu Zaid")))) )) ) )"

	Faried Abu Zaid	5篇
	Erich Gr{\"a}del	2篇
	Chris K{\"o}cher	1篇
	Dietrich Kuske	1篇
	Frederic Reinhardt	1篇

	2018	3篇
	2017	1篇
	2012	1篇

	Lukasz Kaiser	1篇
	Peter Lindner	1篇