| Publication | Date of Publication | Type |
|---|
DECIDING SOME MALTSEV CONDITIONS IN FINITE IDEMPOTENT ALGEBRAS
Journal of Symbolic Logic | 2021-01-29 | Paper |
Deciding the existence of minority terms
Canadian Mathematical Bulletin | 2020-09-08 | Paper |
| Sensitive instances of the Constraint Satisfaction Problem | 2020-05-01 | Paper |
Polynomial-time tests for difference terms in idempotent varieties
International Journal of Algebra and Computation | 2019-10-18 | Paper |
Constant-query testability of assignments to constraint satisfaction problems
SIAM Journal on Computing | 2019-09-02 | Paper |
| Learnability of solutions to conjunctive queries | 2019-06-07 | Paper |
Testing for a semilattice term
Order | 2019-03-25 | Paper |
Preserving near unanimity terms under products
Algebra Universalis | 2016-10-26 | Paper |
Characterizations of several Maltsev conditions.
Algebra Universalis | 2015-06-23 | Paper |
Idempotent \(n\)-permutable varieties.
Bulletin of the London Mathematical Society | 2014-08-04 | Paper |
Generic expression hardness results for primitive positive formula comparison
Information and Computation | 2013-06-06 | Paper |
On the expression complexity of equivalence and isomorphism of primitive positive formulas
Theory of Computing Systems | 2012-12-06 | Paper |
Generic expression hardness results for primitive positive formula comparison
Lecture Notes in Computer Science | 2011-07-07 | Paper |
Tractability and learnability arising from algebras with few subpowers
SIAM Journal on Computing | 2011-04-04 | Paper |
The structure of locally finite varieties with polynomially many models
Journal of the American Mathematical Society | 2011-03-02 | Paper |
Varieties with few subalgebras of powers
Transactions of the American Mathematical Society | 2010-03-31 | Paper |
OMITTING TYPES, BOUNDED WIDTH AND THE ABILITY TO COUNT
International Journal of Algebra and Computation | 2009-09-28 | Paper |
A Subalgebra Intersection Property for Congruence Distributive Varieties
Canadian Journal of Mathematics | 2009-04-30 | Paper |
ON THE COMPLEXITY OF SOME MALTSEV CONDITIONS
International Journal of Algebra and Computation | 2009-04-21 | Paper |
Definable principal congruences and solvability
Annals of Pure and Applied Logic | 2009-02-19 | Paper |
Recent Results on the Algebraic Approach to the CSP
Complexity of Constraints | 2009-01-22 | Paper |
On tractability and congruence distributivity
Logical Methods in Computer Science | 2007-10-11 | Paper |
| Tame congruence theory | 2002-08-28 | Paper |
A property of the solvable radical in finitely decidable varieties
Fundamenta Mathematicae | 2002-02-21 | Paper |
A modification of Polin's variety
Algebra Universalis | 2001-06-10 | Paper |
Discriminating varieties
Algebra Universalis | 2001-05-14 | Paper |
A geometric consequence of residual smallness
Annals of Pure and Applied Logic | 2000-02-14 | Paper |
| scientific article; zbMATH DE number 1064596 (Why is no real title available?) | 1998-05-17 | Paper |
Minimal sets and varieties
Transactions of the American Mathematical Society | 1998-03-24 | Paper |
A RESIDUALLY SMALL, FINITELY GENERATED, SEMI-SIMPLE VARIETY WHICH IS NOT RESIDUALLY FINITE
International Journal of Algebra and Computation | 1997-08-18 | Paper |
On Solvable Congruences in Finitely Decidable Varieties
Mathematical Logic Quarterly | 1995-05-01 | Paper |
Vaught's Conjecture for Varieties
Transactions of the American Mathematical Society | 1995-01-03 | Paper |
| scientific article; zbMATH DE number 125210 (Why is no real title available?) | 1993-02-21 | Paper |
SOME PROPERTIES OF FINITELY DECIDABLE VARIETIES
International Journal of Algebra and Computation | 1993-02-08 | Paper |
Abelian algebras and the Hamiltonian property
Journal of Pure and Applied Algebra | 1993-01-01 | Paper |
The structure of decidable locally finite varieties
Progress in Mathematics | 1992-09-17 | Paper |
A Structure Theorem for Strongly Abelian Varieties with Few Models
Journal of Symbolic Logic | 1992-06-27 | Paper |
Decidable discriminator varieties from unary varieties
Journal of Symbolic Logic | 1992-06-27 | Paper |
A characterization of congruence permutable locally finite varieties
Journal of Algebra | 1992-06-25 | Paper |
Strongly Abelian Varieties and the Hamiltonian Property
Canadian Journal of Mathematics | 1991-01-01 | Paper |
| Finite Simple Abelian Algebras are Strictly Simple | 1990-01-01 | Paper |
Decidable unary varieties
Algebra Universalis | 1987-01-01 | Paper |
Expanding varieties by monoids of endomorphisms
Algebra Universalis | 1983-01-01 | Paper |
