2009 |
7 | EE | Pawel M. Idziak,
Keith A. Kearnes,
Emil W. Kiss,
Matthew Valeriote:
Definable principal congruences and solvability.
Ann. Pure Appl. Logic 157(1): 30-49 (2009) |
2007 |
6 | EE | Pawel M. Idziak,
Petar Markovic,
Ralph McKenzie,
Matthew Valeriote,
Ross Willard:
Tractability and learnability arising from algebras with few subpowers.
LICS 2007: 213-224 |
2003 |
5 | EE | Andrei A. Bulatov,
Pawel M. Idziak:
Counting Mal'tsev clones on small sets.
Discrete Mathematics 268(1-3): 59-80 (2003) |
2000 |
4 | EE | Brian A. Davey,
Pawel M. Idziak,
William A. Lampe,
George F. McNulty:
Dualizability and graph algebras.
Discrete Mathematics 214(1-3): 145-172 (2000) |
3 | EE | Joel Berman,
Pawel M. Idziak:
Counting Finite Algebras in the Post Varieties.
IJAC 10(3): 323-338 (2000) |
1991 |
2 | | Pawel M. Idziak:
Elementary Theory of Finite Equivalential Algebras.
Reports on Mathematical Logic 25: (1991) |
1988 |
1 | | Katarzyna Idziak,
Pawel M. Idziak:
Decidability Problem for Finite Heyting Algebras.
J. Symb. Log. 53(3): 729-735 (1988) |