BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Czech Republic
1 × Denmark
1 × Germany
1 × United Kingdom
2 × Japan
2 × USA
Collaborated with:
F.R.Madelaine M.Bodirsky S.Bova J.Martin A.Mottet C.Carvalho P.Dapic P.Markovic M.Hils H.Chen
Talks about:
order (4) first (4) constraint (3) without (3) complex (3) posit (3) logic (3) equal (3) satisfact (2) problem (2)

Person: Barnaby Martin

DBLP DBLP: Martin:Barnaby

Contributed to:

CSL 20152015
ICALP (1) 20152015
LICS 20152015
ICALP (1) 20142014
LICS 20112011
CSL 20102010
LICS 20102010
LICS 20092009
LICS 20082008

Wrote 9 papers:

CSL-2015-BovaM #finite #first-order #query
First-Order Queries on Finite Abelian Groups (SB, BM), pp. 41–59.
ICALP-v1-2015-BodirskyMM #constraints #integer #problem
Constraint Satisfaction Problems over the Integers with Successor (MB, BM, AM), pp. 256–267.
LICS-2015-CarvalhoMM #algebra #complexity
From Complexity to Algebra and Back: Digraph Classes, Collapsibility, and the PGP (CC, FRM, BM), pp. 462–474.
ICALP-v1-2014-DapicMM #graph
QCSP on Semicomplete Digraphs (PD, PM, BM), pp. 847–858.
LICS-2011-MadelaineM #first-order #logic #similarity
A Tetrachotomy for Positive First-Order Logic without Equality (FRM, BM), pp. 311–320.
CSL-2010-MartinM #complexity #first-order #logic #similarity
The Complexity of Positive First-Order Logic without Equality II: The Four-Element Case (BM, JM), pp. 426–438.
LICS-2010-BodirskyHM #algebra #approach #constraints #on the
On the Scope of the Universal-Algebraic Approach to Constraint Satisfaction (MB, MH, BM), pp. 90–99.
LICS-2009-MadelaineM #complexity #first-order #logic #similarity
The Complexity of Positive First-order Logic without Equality (FRM, BM), pp. 429–438.
LICS-2008-ChenMM #constraints #problem #quantifier
Quantified Constraints and Containment Problems (HC, FRM, BM), pp. 317–328.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.