Publication | Date of Publication | Type |
---|
DECIDING SOME MALTSEV CONDITIONS IN FINITE IDEMPOTENT ALGEBRAS | 2021-01-29 | Paper |
Deciding the Existence of Minority Terms | 2020-09-08 | Paper |
Sensitive instances of the Constraint Satisfaction Problem | 2020-05-01 | Paper |
Polynomial-time tests for difference terms in idempotent varieties | 2019-10-18 | Paper |
Constant-Query Testability of Assignments to Constraint Satisfaction Problems | 2019-09-02 | Paper |
https://portal.mardi4nfdi.de/entity/Q5381121 | 2019-06-07 | Paper |
Testing for a semilattice term | 2019-03-25 | Paper |
Preserving near unanimity terms under products | 2016-10-26 | Paper |
Characterizations of several Maltsev conditions. | 2015-06-23 | Paper |
Idempotent n -permutable varieties | 2014-08-04 | Paper |
Generic expression hardness results for primitive positive formula comparison | 2013-06-06 | Paper |
On the expression complexity of equivalence and isomorphism of primitive positive formulas | 2012-12-06 | Paper |
Generic expression hardness results for primitive positive formula comparison | 2011-07-07 | Paper |
Tractability and Learnability Arising from Algebras with Few Subpowers | 2011-04-04 | Paper |
The structure of locally finite varieties with polynomially many models | 2011-03-02 | Paper |
Varieties with few subalgebras of powers | 2010-03-31 | Paper |
OMITTING TYPES, BOUNDED WIDTH AND THE ABILITY TO COUNT | 2009-09-28 | Paper |
A Subalgebra Intersection Property for Congruence Distributive Varieties | 2009-04-30 | Paper |
ON THE COMPLEXITY OF SOME MALTSEV CONDITIONS | 2009-04-21 | Paper |
Definable principal congruences and solvability | 2009-02-19 | Paper |
Recent Results on the Algebraic Approach to the CSP | 2009-01-22 | Paper |
On tractability and congruence distributivity | 2007-10-11 | Paper |
https://portal.mardi4nfdi.de/entity/Q2782447 | 2002-08-28 | Paper |
A property of the solvable radical in finitely decidable varieties | 2002-02-21 | Paper |
A modification of Polin's variety | 2001-06-10 | Paper |
Discriminating varieties | 2001-05-14 | Paper |
A geometric consequence of residual smallness | 2000-02-14 | Paper |
https://portal.mardi4nfdi.de/entity/Q4355927 | 1998-05-17 | Paper |
Minimal sets and varieties | 1998-03-24 | Paper |
A RESIDUALLY SMALL, FINITELY GENERATED, SEMI-SIMPLE VARIETY WHICH IS NOT RESIDUALLY FINITE | 1997-08-18 | Paper |
On Solvable Congruences in Finitely Decidable Varieties | 1995-05-01 | Paper |
Vaught's Conjecture for Varieties | 1995-01-03 | Paper |
https://portal.mardi4nfdi.de/entity/Q4026903 | 1993-02-21 | Paper |
SOME PROPERTIES OF FINITELY DECIDABLE VARIETIES | 1993-02-08 | Paper |
Abelian algebras and the Hamiltonian property | 1993-01-01 | Paper |
The structure of decidable locally finite varieties | 1992-09-17 | Paper |
Decidable discriminator varieties from unary varieties | 1992-06-27 | Paper |
A Structure Theorem for Strongly Abelian Varieties with Few Models | 1992-06-27 | Paper |
A characterization of congruence permutable locally finite varieties | 1992-06-25 | Paper |
Strongly Abelian Varieties and the Hamiltonian Property | 1991-01-01 | Paper |
Finite Simple Abelian Algebras are Strictly Simple | 1990-01-01 | Paper |
Decidable unary varieties | 1987-01-01 | Paper |
Expanding varieties by monoids of endomorphisms | 1983-01-01 | Paper |