BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Switzerland
1 × USA
Collaborated with:
A.Dawar B.Holm D.v.Melkebeek N.Schweikardt L.Segoufin
Talks about:
logic (2) arbitrari (1) program (1) maximum (1) predic (1) linear (1) invari (1) queri (1) point (1) order (1)

Person: Matthew Anderson

DBLP DBLP: Anderson:Matthew

Contributed to:

LICS 20132013
ICALP (2) 20112011

Wrote 2 papers:

LICS-2013-AndersonDH #fixpoint #linear #logic #programming
Maximum Matching and Linear Programming in Fixed-Point Logic with Counting (MA, AD, BH), pp. 173–182.
ICALP-v2-2011-AndersonMSS #first-order #invariant #locality #logic #query
Locality of Queries Definable in Invariant First-Order Logic with Arbitrary Built-in Predicates (MA, DvM, NS, LS), pp. 368–379.
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.