- On the Expression Complexity of Equivalence and Isomorphism of Primitive Positive Formulas
- k-FOLD SYSTEMS OF PROJECTIONS AND CONGRUENCE MODULARITY k-FOLD SYSTEMS OF PROJECTIONS AND
- DECIDABLE EQUATIONAL CLASSES MATTHEW A. VALERIOTE
- JOURNAL OF THE AMERICAN MATHEMATICAL SOCIETY
- DEFINABLE PRINCIPAL CONGRUENCES AND SOLVABILITY PAWEL M. IDZIAK, KEITH A. KEARNES, EMIL W. KISS, MATTHEW A. VALERIOTE
- A Geometric Consequence of Residual Keith A. Kearnes
- Discriminating Varieties Matthew A. Valeriote
- Vaught's conjecture for varieties Bradd Hart Sergei Starchenko Matthew Valeriote
- On Solvable Congruences in Finitely Decidable Matthew A. Valeriote
- Decidable Discriminator Varieties from Unary Stanley Burris
- A Characterization of Congruence Permutable Locally Finite Varieties
- Finite Simple Abelian Algebras are Strictly Matthew A. Valeriote
- On tractability and congruence distributivity Eotvos University
- Lectures on Universal Algebra Matt Valeriote
- A Review of "Commutator Theory for Congruence Modular Varieties"
- TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY
- Tractability and learnability arising from algebras with few subpowers Pawel Idziak
- Recent results on the algebraic approach to the Andrei A. Bulatov1
- A Residually small, finitely generated, semi-simple variety which is not residually
- Some properties of finitely decidable varieties Matthew A. Valeriote
- A Characterization of Decidable Locally Finite Ralph McKenzie Matthew A. Valeriote
- Algebra Universalis, 17 (1983) 150--169 0002--5240/83/020150-20501.50+0.20/0 ~) 1983 Birkh~user Verlag, Basel
- OMITTING TYPES, BOUNDED WIDTH AND THE ABILITY TO COUNT
- Generic Expression Hardness Results for Primitive Positive Formula Simone Bova
- A property of the solvable radical in finitely decidable varieties
- ON THE COMPLEXITY OF SOME MALTSEV RALPH FREESE, MATTHEW A. VALERIOTE
- Finite Algebra M. Clasen and M. Valeriote
- A SUBALGEBRA INTERSECTION PROPERTY FOR CONGRUENCE DISTRIBUTIVE VARIETIES
- On the Expression Complexity of Equivalence and Isomorphism of Primitive Positive Formulas
- A Modification of Polin's Variety Keith Kearnes Matthew Valeriote
- Algebra Universalis, 24 (1987) !-20 0002-5240/87/020001-20501.50 + 0.20/0 O 1987 Birkh~iuser Verlag, Basel
- A structure theorem for strongly abelian varieties with few models
- Minimal Sets and Varieties Keith A. Kearnes
- SOME RESULTS ON THE SUBALGEBRA INTERSECTION PROPERTY SOME RESULTS ON THE SUBALGEBRA INTERSECTION PROPERTY
- Idempotent Maltsev Conditions July 11, 2011
- Generic Expression Hardness Results for Primitive Positive Formula Comparison Simone Bova1
- COMPLEXITY OF LINEAR IDEMPOTENT MAL'CEV CONDITIONS RESULTS ON THE COMPUTATIONAL COMPLEXITY OF LINEAR IDEMPOTENT
