1.Colouring H-Free Graphs of Bounded Diameter

作　　者：Barnaby Martin ;Dani{"e}l Paulusma ;Siani Smith

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

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

文章 ID：238891964

文章详细全文下载

2.Resolution and the Binary Encoding of Combinatorial Principles

作　　者：Stefan Dantchev ;Nicola Galesi ;Barnaby Martin

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;137:1-25.doi:10.4230/LIPIcs.CCC.2019.6

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

文章 ID：238892038

文章详细全文下载

3.The Complexity of Quantified Constraints Using the Algebraic Formulation

作　　者：Catarina Carvalho ;Barnaby Martin ;Dmitriy Zhuk

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;83:27:1-27:14.doi:10.4230/LIPIcs.MFCS.2017.27

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

文章 ID：205509999

文章详细全文下载

4.Acyclic, Star and Injective Colouring: A Complexity Picture for H-Free Graphs

作　　者：Jan Bok ;Nikola JedlicÌkov{'a ;Barnaby Martin 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;173:22:1-22:22.doi:10.4230/LIPIcs.ESA.2020.22

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

文章 ID：255822777

文章详细全文下载

5.Surjective H-Colouring over Reflexive Digraphs

作　　者：Benoit Larose ;Barnaby Martin ;Daniel Paulusma

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;96:49:1-49:14.doi:10.4230/LIPIcs.STACS.2018.49

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

文章 ID：220015284

文章详细

6.On the Scope of the Universal-Algebraic Approach to Constraint Satisfaction

作　　者：Barnaby Martin ;Manuel Bodirsky ;Martin Hils

出　　处：Logical Methods in Computer Science. 2012 ;8(3):1.doi:10.2168/LMCS-8(3:13)2012

出版社：Technical University of Braunschweig

文章 ID：264691981

文章详细全文下载

7.Quantified Constraints and Containment Problems

作　　者：Barnaby Martin ;Hubie Chen ;Florent Madelaine

出　　处：Logical Methods in Computer Science. 2015 ;11(3):1.doi:10.2168/LMCS-11(3:9)2015

出版社：Technical University of Braunschweig

文章 ID：264692066

文章详细全文下载

8.First-Order Queries on Finite Abelian Groups

作　　者：Simone Bova ;Barnaby Martin

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;41:41-59.doi:10.4230/LIPIcs.CSL.2015.41

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

文章 ID：186847038

文章详细全文下载

9.Constraint Satisfaction Problems for Reducts of Homogeneous Graphs

作　　者：Manuel Bodirsky ;Barnaby Martin ;Michael Pinsker 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;55:119:1-119:14.doi:10.4230/LIPIcs.ICALP.2016.119

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

文章 ID：186847716

文章详细全文下载

10.Consistency for Counting Quantifiers

作　　者：Florent R. Madelaine ;Barnaby Martin

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;117:1-13.doi:10.4230/LIPIcs.MFCS.2018.11

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

文章 ID：230213366

文章详细全文下载

	有本地全文	13篇
	有全文链接	2篇

	2021	1篇
	2020	1篇
	2019	2篇
	2018	6篇
	2017	1篇

	Siani Smith	2篇
	Abdul Ghani	1篇
	Andr{\'a}s Pongr{\'a}cz	1篇
	Antoine Mottet	1篇
	Benoit Larose	1篇
	Catarina Carvalho	1篇
	Daniel Paulusma	1篇
	Dani{\"e}l Paulusma	1篇
	Dmitriy Zhuk	1篇
	Erik Jan van Leeuwen	1篇
	Florent Madelaine	1篇
	Florent R. Madelaine	1篇
	Hubie Chen	1篇
	Jan Bok	1篇
	Judith Clymo	1篇
	Marcello Mamino	1篇
	Martin Hils	1篇
	Michael Pinsker	1篇
	Nikola JedlicÌkov{'a	1篇
	Olaf Beyersdorff	1篇
	Simone Bova	1篇

	LIPIcs : Leibniz International Proceedings in Informatics	10篇
	Electronic Colloquium on Computational Complexity	3篇
	Logical Methods in Computer Science	2篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Barnaby Martin")))) )) ) )"

	Barnaby Martin	15篇
	Stefan Dantchev	4篇
	Manuel Bodirsky	3篇
	Nicola Galesi	3篇
	Dani{"e}l Paulusma	2篇