关注
Idziak Pawel
Idziak Pawel
在 tcs.uj.edu.pl 的电子邮件经过验证
标题
引用次数
引用次数
年份
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
1972010
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
1532010
Lattice operations in BCK-algebras
PM Idziak
Mathematica Japonica 29, 839-846, 1984
1181984
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
362001
Dualizability and graph algebras
BA Davey, PM Idziak, WA Lampe, GF McNulty
Discrete mathematics 214 (1-3), 145-172, 2000
362000
Polynomially rich algebras
PM Idziak, K Słomczyńska
Journal of Pure and Applied Algebra 156 (1), 33-68, 2001
352001
Clones containing Mal'tsev operations
PM Idziak
International Journal of Algebra and Computation 9 (02), 213-226, 1999
321999
Fregean varieties
P Idziak, K Słomczyńska, A Wroński
International Journal of Algebra and Computation 19 (05), 595-645, 2009
292009
Polynomial interpolation in expanded groups
E Aichinger, PM Idziak
Journal of Algebra 271 (1), 65-107, 2004
262004
A characterization of finitely decidable congruence modular varieties
P Idziak
Transactions of the American Mathematical Society 349 (3), 903-934, 1997
251997
Decidability problem for finite Heyting algebras
K Idziak, PM Idziak
The Journal of symbolic logic 53 (3), 729-735, 1988
241988
Generative complexity in algebra
J Berman
American Mathematical Soc., 2005
232005
How big is BCI fragment of BCK logic
K Grygiel, PM Idziak, M Zaionc
Journal of Logic and Computation 23 (3), 673-691, 2013
222013
Varieties with decidable finite algebras II: Permutability
PŁM Idziak
Algebra Universalis 26, 247-256, 1989
201989
On varieties of BCK-algebras
PM Idziak
Math. Japonica 28, 157-162, 1983
171983
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
152020
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
152014
Equivalential algebras: a study of Fregean varieties
PM Idziak, K Słomczyńska, A Wroński, J Font, R Jansana, D Pigozzi
preprint, 1996
151996
Varieties with decidable finite algebras I: linearity
PŁM Idziak
Algebra Universalis 26, 234-246, 1989
151989
Filters and congruence relations in BCK-semilattices
PM Idziak
Math. Japonica 29, 975-980, 1984
141984
系统目前无法执行此操作,请稍后再试。
文章 1–20