The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Matthew Valeriote: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.050secs, Finished in 0.050secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002