Search the dblp DataBase

Publications of Author

1. Emil W. Kiss, Matthew Valeriote
   On Tractability and Congruence Distributivity. [Citation Graph (0, 0)][DBLP]
   LICS, 2006, pp:221-230 [Conf]
   
2. Keith A. Kearnes, Emil W. Kiss, Matthew Valeriote
   A Geometric Consequence of Residual Smallness. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1999, v:99, n:1-3, pp:137-169 [Journal]
   
3. Stanley Burris, Ralph McKenzie, Matthew Valeriote
   Decidable Discriminator Varieties from Unary Varieties. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1991, v:56, n:4, pp:1355-1368 [Journal]
   
4. Bradd Hart, Matthew Valeriote
   A Structure Theorem for Strongly Abelian Varieties with Few Models. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1991, v:56, n:3, pp:832-852 [Journal]
   
5. Matthew Valeriote
   On Solvable Congruences in Finitely Decidable Varieties. [Citation Graph (0, 0)][DBLP]
   Math. Log. Q., 1994, v:40, n:, pp:398-414 [Journal]
   
6. Pawel M. Idziak, Petar Markovic, Ralph McKenzie, Matthew Valeriote, Ross Willard
   Tractability and learnability arising from algebras with few subpowers. [Citation Graph (0, 0)][DBLP]
   LICS, 2007, pp:213-224 [Conf]
   
7. Emil W. Kiss, Matthew Valeriote
   On tractability and congruence distributivity [Citation Graph (0, 0)][DBLP]
   CoRR, 2007, v:0, n:, pp:- [Journal]
   
8. 
   Recent Results on the Algebraic Approach to the CSP. [Citation Graph (, )][DBLP]
   
   
9. 
   Definable principal congruences and solvability. [Citation Graph (, )][DBLP]