1.Linear Datalog and Bounded Path Duality of Relational Structures

作　　者：Victor Dalmau

出　　处：Logical Methods in Computer Science. 2005 ;1(1).

出版社：Technical University of Braunschweig

文章 ID：41929654

文章详细全文下载
2.Generalized Majority-Minority Operations are Tractable

作　　者：Victor Dalmau

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

出版社：Technical University of Braunschweig

文章 ID：46838643

文章详细全文下载
3.Enumerating Homomorphisms

作　　者：Andrei A. Bulatov ;Victor Dalmau ;Martin Grohe 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2009 ;3:231-242.doi:10.4230/LIPIcs.STACS.2009.1838

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

文章 ID：186845544

文章详细全文下载
4.Descriptive complexity of approximate counting CSPs

作　　者：Andrei Bulatov ;Victor Dalmau ;Marc Thurley

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2013 ;23:149-164.doi:10.4230/LIPIcs.CSL.2013.149

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

文章 ID：186846336

文章详细全文下载
5.The Product Homomorphism Problem and Applications

作　　者：Balder ten Cate ;Victor Dalmau

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;31:161-176.doi:10.4230/LIPIcs.ICDT.2015.161

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

文章 ID：186846716

文章详细全文下载

	Victor Dalmau	5篇
	Andrei A. Bulatov	1篇
	Andrei Bulatov	1篇
	Balder ten Cate	1篇
	Daniel Marx	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Victor Dalmau")))) )) ) )"

	LIPIcs : Leibniz International Proceedings in Informatics	3篇
	Logical Methods in Computer Science	2篇

	2015	1篇
	2013	1篇
	2009	1篇
	2006	1篇
	2005	1篇

	Marc Thurley	1篇
	Martin Grohe	1篇