| Publication | Date of Publication | Type |
|---|
| Satisfiability of circuits and equations over finite malcev algebras | 2024-04-23 | Paper |
| Satisfiability in MultiValued Circuits | 2022-05-31 | Paper |
| Expressive Power, Satisfiability and Equivalence of Circuits over Nilpotent Algebras. | 2021-08-04 | Paper |
| Intermediate problems in modular circuits satisfiability | 2021-01-21 | Paper |
| Satisfiability in multi-valued circuits | 2021-01-20 | Paper |
| Equation satisfiability in solvable groups | 2020-10-22 | Paper |
| How big is BCI fragment of BCK logic | 2013-06-27 | Paper |
| The commutator in equivalential algebras and Fregean varieties | 2011-08-16 | 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 |
| FREGEAN VARIETIES | 2009-09-28 | Paper |
| Definable principal congruences and solvability | 2009-02-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3365837 | 2006-02-13 | Paper |
| Generative complexity in algebra | 2005-06-30 | Paper |
| Natural dualities for quasivarieties generated by a finite commutative ring. | 2005-04-19 | Paper |
| Polynomial interpolation in expanded groups. | 2004-02-03 | Paper |
| Counting Mal'tsev clones on small sets | 2003-07-29 | Paper |
| COUNTING FINITE ALGEBRAS IN THE POST VARIETIES | 2002-12-15 | Paper |
| Varieties with polynomially many models, I | 2002-02-21 | Paper |
| A property of the solvable radical in finitely decidable varieties | 2002-02-21 | Paper |
| Polynomially rich algebras | 2001-06-14 | Paper |
| CLONES CONTAINING MAL'TSEV OPERATIONS | 2000-11-07 | Paper |
| Dualizability and graph algebras | 2000-06-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4249223 | 1999-10-05 | Paper |
| Definability of principal congruences in equivalential algebras | 1998-06-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4359313 | 1997-11-26 | Paper |
| A Characterization of Finitely Decidable Congruence Modular Varieties | 1997-04-09 | Paper |
| A DIRECTLY REPRESENTABLE VARIETY HAS A DISCRETE FIRST-ORDER LAW | 1996-09-30 | Paper |
| The isomorphism problem for varieties generated by a two-element algebra | 1996-05-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4025004 | 1993-02-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4025010 | 1993-02-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3998420 | 1992-09-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3987716 | 1992-06-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3987718 | 1992-06-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3976917 | 1992-06-25 | Paper |
| The decision problem for finite algebras from arithmetical varieties with equationally definable principal congruences | 1989-01-01 | Paper |
| Varieties with decidable finite algebras. I: Linearity | 1989-01-01 | Paper |
| Varieties with decidable finite algebras. II: Permutability | 1989-01-01 | Paper |
| Undecidability of relatively free Hilbert algebras | 1988-01-01 | Paper |
| Reduced sub-powers and the decision problem for finite algebras in arithmetical varieties | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3470450 | 1988-01-01 | Paper |
| Decidability problem for finite Heyting algebras | 1988-01-01 | Paper |
| Undecidability of free pseudo-complemented semilattices | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3801521 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3027076 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3218120 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3218121 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3218122 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3318775 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3666902 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3956942 | 1981-01-01 | Paper |
