| 2007 |
|---|
| 7 | 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 |
| 6 | EE | Emil W. Kiss,
Matthew Valeriote:
On tractability and congruence distributivity
CoRR abs/0705.2229: (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) |
