1.Two-Variable Logic on 2-Dimensional Structures

作　　者：Amaldev Manuel ;Thomas Zeume

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2013 ;23:484-499.doi:10.4230/LIPIcs.CSL.2013.484

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

文章 ID：186846356

文章详细全文下载
2.Generalized Data Automata and Fixpoint Logic

作　　者：Thomas Colcombet ;Amaldev Manuel

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2014 ;29:267-278.doi:10.4230/LIPIcs.FSTTCS.2014.267

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

文章 ID：186846611

文章详细全文下载
3.Combinatorial Expressions and Lower Bounds

作　　者：Thomas Colcombet ;Amaldev Manuel

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;30:249-261.doi:10.4230/LIPIcs.STACS.2015.249

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

文章 ID：186846666

文章详细全文下载
4.Fragments of Fixpoint Logic on Data Words

作　　者：Thomas Colcombet ;Amaldev Manuel

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;45:98-111.doi:10.4230/LIPIcs.FSTTCS.2015.98

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

文章 ID：186847178

文章详细全文下载
5.Cost Functions Definable by Min/Max Automata

作　　者：Thomas Colcombet ;Denis Kuperberg ;Amaldev Manuel 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;47:29:1-29:13.doi:10.4230/LIPIcs.STACS.2016.29

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

文章 ID：186847242

文章详细全文下载
6.Two-Variable Logic over Countable Linear Orderings

作　　者：Amaldev Manuel ;A. V. Sreejith

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;58:66:1-66:13.doi:10.4230/LIPIcs.MFCS.2016.66

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

文章 ID：186847893

文章详细全文下载

	Amaldev Manuel	6篇
	Thomas Colcombet	4篇
	A. V. Sreejith	1篇
	Denis Kuperberg	1篇
	Szymon Torunczyk	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Amaldev Manuel")))) )) ) )"

	2016	2篇
	2015	2篇
	2014	1篇
	2013	1篇