| 2009 |
|---|
| 11 | EE | Pawel M. Idziak,
Keith A. Kearnes,
Emil W. Kiss,
Matthew Valeriote:
Definable principal congruences and solvability.
Ann. Pure Appl. Logic 157(1): 30-49 (2009) |
| 10 | EE | Ralph Freese,
Matthew Valeriote:
On the Complexity of Some Maltsev Conditions.
IJAC 19(1): 41-77 (2009) |
| 2008 |
|---|
| 9 | EE | Andrei A. Bulatov,
Matthew Valeriote:
Recent Results on the Algebraic Approach to the CSP.
Complexity of Constraints 2008: 68-92 |
| 2007 |
|---|
| 8 | EE | Pawel M. Idziak,
Petar Markovic,
Ralph McKenzie,
Matthew Valeriote,
Ross Willard:
Tractability and learnability arising from algebras with few subpowers.
LICS 2007: 213-224 |
| 7 | EE | Emil W. Kiss,
Matthew Valeriote:
On tractability and congruence distributivity
CoRR abs/0705.2229: (2007) |
| 6 | EE | Emil W. Kiss,
Matthew Valeriote:
On tractability and congruence distributivity.
Logical Methods in Computer Science 3(2): (2007) |
| 2006 |
|---|
| 5 | EE | Emil W. Kiss,
Matthew Valeriote:
On Tractability and Congruence Distributivity.
LICS 2006: 221-230 |
| 1999 |
|---|
| 4 | | Keith A. Kearnes,
Emil W. Kiss,
Matthew Valeriote:
A Geometric Consequence of Residual Smallness.
Ann. Pure Appl. Logic 99(1-3): 137-169 (1999) |
| 1994 |
|---|
| 3 | | Matthew Valeriote:
On Solvable Congruences in Finitely Decidable Varieties.
Math. Log. Q. 40: 398-414 (1994) |
| 1991 |
|---|
| 2 | | Bradd Hart,
Matthew Valeriote:
A Structure Theorem for Strongly Abelian Varieties with Few Models.
J. Symb. Log. 56(3): 832-852 (1991) |
| 1 | | Stanley Burris,
Ralph McKenzie,
Matthew Valeriote:
Decidable Discriminator Varieties from Unary Varieties.
J. Symb. Log. 56(4): 1355-1368 (1991) |
