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: Valeriote:Matthew
Contributed to:
2011
20072006Wrote 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.