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 × Poland
1 × Switzerland
1 × USA
Collaborated with:
E.W.Kiss S.Bova H.Chen P.M.Idziak P.Markovic R.McKenzie R.Willard
Talks about:
tractabl (2) comparison (1) distribut (1) congruenc (1) learnabl (1) generic (1) formula (1) express (1) algebra (1) subpow (1)

Person: Matthew Valeriote

DBLP DBLP: Valeriote:Matthew

Contributed to:

ICALP (2) 20112011
LICS 20072007
LICS 20062006

Wrote 3 papers:

ICALP-v2-2011-BovaCV #comparison
Generic Expression Hardness Results for Primitive Positive Formula Comparison (SB, HC, MV), pp. 344–355.
LICS-2007-IdziakMMVW #algebra
Tractability and learnability arising from algebras with few subpowers (PMI, PM, RM, MV, RW), pp. 213–224.
LICS-2006-KissV #congruence #on the
On Tractability and Congruence Distributivity (EWK, MV), pp. 221–230.

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.