Tractability and learnability arising from algebras with few subpowers P Idziak, P Marković, R McKenzie, M Valeriote, R Willard SIAM Journal on Computing 39 (7), 3023-3037, 2010 | 197 | 2010 |
Varieties with few subalgebras of powers J Berman, P Idziak, P Marković, R McKenzie, M Valeriote, R Willard Transactions of the American Mathematical Society 362 (3), 1445-1473, 2010 | 153 | 2010 |
Lattice operations in BCK-algebras PM Idziak Mathematica Japonica 29, 839-846, 1984 | 118 | 1984 |
Natural dualities for quasivarieties generated by a finite commutative ring DM Clark, PM Idziak, LR Sabourin, C Szabó, R Willard Algebra Universalis 46 (1), 285-320, 2001 | 36 | 2001 |
Dualizability and graph algebras BA Davey, PM Idziak, WA Lampe, GF McNulty Discrete mathematics 214 (1-3), 145-172, 2000 | 36 | 2000 |
Polynomially rich algebras PM Idziak, K Słomczyńska Journal of Pure and Applied Algebra 156 (1), 33-68, 2001 | 35 | 2001 |
Clones containing Mal'tsev operations PM Idziak International Journal of Algebra and Computation 9 (02), 213-226, 1999 | 32 | 1999 |
Fregean varieties P Idziak, K Słomczyńska, A Wroński International Journal of Algebra and Computation 19 (05), 595-645, 2009 | 29 | 2009 |
Polynomial interpolation in expanded groups E Aichinger, PM Idziak Journal of Algebra 271 (1), 65-107, 2004 | 26 | 2004 |
A characterization of finitely decidable congruence modular varieties P Idziak Transactions of the American Mathematical Society 349 (3), 903-934, 1997 | 25 | 1997 |
Decidability problem for finite Heyting algebras K Idziak, PM Idziak The Journal of symbolic logic 53 (3), 729-735, 1988 | 24 | 1988 |
Generative complexity in algebra J Berman American Mathematical Soc., 2005 | 23 | 2005 |
How big is BCI fragment of BCK logic K Grygiel, PM Idziak, M Zaionc Journal of Logic and Computation 23 (3), 673-691, 2013 | 22 | 2013 |
Varieties with decidable finite algebras II: Permutability PŁM Idziak Algebra Universalis 26, 247-256, 1989 | 20 | 1989 |
On varieties of BCK-algebras PM Idziak Math. Japonica 28, 157-162, 1983 | 17 | 1983 |
Intermediate problems in modular circuits satisfiability PM Idziak, P Kawałek, J Krzaczkowski Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer …, 2020 | 15 | 2020 |
An analysis of decision-making techniques in dynamic, self-adaptive systems P Idziak, S Clarke 2014 IEEE Eighth International Conference on Self-Adaptive and Self …, 2014 | 15 | 2014 |
Equivalential algebras: a study of Fregean varieties PM Idziak, K Słomczyńska, A Wroński, J Font, R Jansana, D Pigozzi preprint, 1996 | 15 | 1996 |
Varieties with decidable finite algebras I: linearity PŁM Idziak Algebra Universalis 26, 234-246, 1989 | 15 | 1989 |
Filters and congruence relations in BCK-semilattices PM Idziak Math. Japonica 29, 975-980, 1984 | 14 | 1984 |