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 × Austria
1 × Japan
1 × Poland
1 × Switzerland
1 × USA
Collaborated with:
A.Dawar M.E.Dyer A.Göbel L.A.Goldberg
Talks about:
logic (3) count (2) homomorph (1) character (1) structur (1) restrict (1) symmetr (1) complex (1) pspace (1) modulo (1)

Person: David Richerby

DBLP DBLP: Richerby:David

Contributed to:

ICALP (1) 20152015
STOC 20102010
CSL 20072007
CSL 20042004
CSL 20032003

Wrote 5 papers:

ICALP-v1-2015-0001GR #graph #morphism
Counting Homomorphisms to Square-Free Graphs, Modulo 2 (AG, LAG, DR), pp. 642–653.
STOC-2010-DyerR #complexity #csp #on the
On the complexity of #CSP (MED, DR), pp. 725–734.
CSL-2007-DawarR #finite #logic #power of #strict
The Power of Counting Logics on Restricted Classes of Finite Structures (AD, DR), pp. 84–98.
CSL-2004-Richerby #logic
Logical Characterizations of PSPACE (DR), pp. 370–384.
CSL-2003-DawarR #fixpoint #logic #symmetry
A Fixed-Point Logic with Symmetric Choice (AD, DR), pp. 169–182.

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.