Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Matthew Valeriote
Matt Valeriote
2010 – today
- 2013
[j11]Simone Bova, Hubie Chen, Matthew Valeriote: Generic expression hardness results for primitive positive formula comparison. Inf. Comput. 222: 108-120 (2013)- 2012
- [j10]Simone Bova, Hubie Chen, Matthew Valeriote: On the Expression Complexity of Equivalence and Isomorphism of Primitive Positive Formulas. Theory Comput. Syst. 50(2): 329-353 (2012)
- [i2]Simone Bova, Hubie Chen, Matthew Valeriote: Generic Expression Hardness Results for Primitive Positive Formula Comparison. CoRR abs/1205.5745 (2012)
- 2011
- [c4]Simone Bova, Hubie Chen, Matthew Valeriote: Generic Expression Hardness Results for Primitive Positive Formula Comparison. ICALP (2) 2011: 344-355
- 2010
- [j9]Pawel M. Idziak, Petar Markovic, Ralph McKenzie, Matthew Valeriote, Ross Willard: Tractability and Learnability Arising from Algebras with Few Subpowers. SIAM J. Comput. 39(7): 3023-3037 (2010)
2000 – 2009
- 2009
- [j8]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)
- [j7]Ralph Freese, Matthew Valeriote: On the Complexity of Some Maltsev Conditions. IJAC 19(1): 41-77 (2009)
- [j6]Benoit Larose, Matt Valeriote, László Zádori: Omitting Types, Bounded Width and the Ability to Count. IJAC 19(5): 647-668 (2009)
- 2008
- [c3]Andrei A. Bulatov, Matthew Valeriote: Recent Results on the Algebraic Approach to the CSP. Complexity of Constraints 2008: 68-92
- 2007
- [j5]Emil W. Kiss, Matthew Valeriote: On tractability and congruence distributivity. Logical Methods in Computer Science 3(2) (2007)
- [c2]Pawel M. Idziak, Petar Markovic, Ralph McKenzie, Matthew Valeriote, Ross Willard: Tractability and learnability arising from algebras with few subpowers. LICS 2007: 213-224
- [i1]Emil W. Kiss, Matthew Valeriote: On tractability and congruence distributivity. CoRR abs/0705.2229 (2007)
- 2006
- [c1]
1990 – 1999
- 1999
- [j4]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
- [j3]Matthew Valeriote: On Solvable Congruences in Finitely Decidable Varieties. Math. Log. Q. 40: 398-414 (1994)
- 1991
- [j2]Bradd Hart, Matthew Valeriote: A Structure Theorem for Strongly Abelian Varieties with Few Models. J. Symb. Log. 56(3): 832-852 (1991)
- [j1]Stanley Burris, Ralph McKenzie, Matthew Valeriote: Decidable Discriminator Varieties from Unary Varieties. J. Symb. Log. 56(4): 1355-1368 (1991)
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-01-19 19:22 CET by the dblp team