| Publication | Date of Publication | Type |
|---|
Complexity of modular circuits
| 2024-12-06 | Paper |
Equation satisfiability in solvable groups
Theory of Computing Systems | 2024-10-07 | Paper |
Satisfiability problems for finite groups
| 2024-06-24 | Paper |
Satisfiability of circuits and equations over finite malcev algebras
| 2024-04-23 | Paper |
Satisfiability in MultiValued Circuits
SIAM Journal on Computing | 2022-05-31 | Paper |
Expressive power, satisfiability and equivalence of circuits over nilpotent algebras
| 2021-08-04 | Paper |
Intermediate problems in modular circuits satisfiability
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science | 2021-01-21 | Paper |
Satisfiability in multi-valued circuits
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science | 2021-01-20 | Paper |
Equation satisfiability in solvable groups
| 2020-10-22 | Paper |
How big is BCI fragment of BCK logic
Journal Of Logic And Computation | 2013-06-27 | Paper |
The commutator in equivalential algebras and Fregean varieties
Algebra Universalis | 2011-08-16 | 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 |
FREGEAN VARIETIES
International Journal of Algebra and Computation | 2009-09-28 | Paper |
Definable principal congruences and solvability
Annals of Pure and Applied Logic | 2009-02-19 | Paper |
Classification in finite model theory: counting finite algebras
| 2006-02-13 | Paper |
Generative complexity in algebra
Memoirs of the American Mathematical Society | 2005-06-30 | Paper |
Natural dualities for quasivarieties generated by a finite commutative ring.
Algebra Universalis | 2005-04-19 | Paper |
Polynomial interpolation in expanded groups.
Journal of Algebra | 2004-02-03 | Paper |
Counting Mal'tsev clones on small sets
Discrete Mathematics | 2003-07-29 | Paper |
COUNTING FINITE ALGEBRAS IN THE POST VARIETIES
International Journal of Algebra and Computation | 2002-12-15 | Paper |
A property of the solvable radical in finitely decidable varieties
Fundamenta Mathematicae | 2002-02-21 | Paper |
Varieties with polynomially many models. I
Fundamenta Mathematicae | 2002-02-21 | Paper |
Polynomially rich algebras
Journal of Pure and Applied Algebra | 2001-06-14 | Paper |
CLONES CONTAINING MAL'TSEV OPERATIONS
International Journal of Algebra and Computation | 2000-11-07 | Paper |
Dualizability and graph algebras
Discrete Mathematics | 2000-06-22 | Paper |
scientific article; zbMATH DE number 1302671 (Why is no real title available?)
| 1999-10-05 | Paper |
Definability of principal congruences in equivalential algebras
Colloquium Mathematicum | 1998-06-29 | Paper |
scientific article; zbMATH DE number 1072416 (Why is no real title available?)
| 1997-11-26 | Paper |
A Characterization of Finitely Decidable Congruence Modular Varieties
Transactions of the American Mathematical Society | 1997-04-09 | Paper |
A DIRECTLY REPRESENTABLE VARIETY HAS A DISCRETE FIRST-ORDER LAW
International Journal of Algebra and Computation | 1996-09-30 | Paper |
The isomorphism problem for varieties generated by a two-element algebra
Algebra Universalis | 1996-05-02 | Paper |
scientific article; zbMATH DE number 120349 (Why is no real title available?)
| 1993-02-22 | Paper |
scientific article; zbMATH DE number 120343 (Why is no real title available?)
| 1993-02-22 | Paper |
scientific article; zbMATH DE number 47296 (Why is no real title available?)
| 1992-09-17 | Paper |
scientific article; zbMATH DE number 31603 (Why is no real title available?)
| 1992-06-28 | Paper |
scientific article; zbMATH DE number 31601 (Why is no real title available?)
| 1992-06-28 | Paper |
scientific article; zbMATH DE number 14392 (Why is no real title available?)
| 1992-06-25 | Paper |
The decision problem for finite algebras from arithmetical varieties with equationally definable principal congruences
Algebra Universalis | 1989-01-01 | Paper |
Varieties with decidable finite algebras. I: Linearity
Algebra Universalis | 1989-01-01 | Paper |
Varieties with decidable finite algebras. II: Permutability
Algebra Universalis | 1989-01-01 | Paper |
Decidability problem for finite Heyting algebras
Journal of Symbolic Logic | 1988-01-01 | Paper |
Undecidability of relatively free Hilbert algebras
Algebra Universalis | 1988-01-01 | Paper |
scientific article; zbMATH DE number 4137743 (Why is no real title available?)
| 1988-01-01 | Paper |
Reduced sub-powers and the decision problem for finite algebras in arithmetical varieties
Algebra Universalis | 1988-01-01 | Paper |
Undecidability of free pseudo-complemented semilattices
Publications of the Research Institute for Mathematical Sciences, Kyoto University | 1987-01-01 | Paper |
scientific article; zbMATH DE number 4068830 (Why is no real title available?)
| 1987-01-01 | Paper |
scientific article; zbMATH DE number 4014793 (Why is no real title available?)
| 1985-01-01 | Paper |
scientific article; zbMATH DE number 3884155 (Why is no real title available?)
| 1984-01-01 | Paper |
scientific article; zbMATH DE number 3884157 (Why is no real title available?)
| 1984-01-01 | Paper |
scientific article; zbMATH DE number 3884156 (Why is no real title available?)
| 1984-01-01 | Paper |
scientific article; zbMATH DE number 3819796 (Why is no real title available?)
| 1983-01-01 | Paper |
scientific article; zbMATH DE number 3849226 (Why is no real title available?)
| 1983-01-01 | Paper |
scientific article; zbMATH DE number 3777491 (Why is no real title available?)
| 1981-01-01 | Paper |
