 | 2011 |
|---|
| 10 |       | Katarzyna Grygiel,
Pawel M. Idziak,
Marek Zaionc:
How big is BCI fragment of BCK logic
CoRR abs/1112.0643: (2011) |
| 2010 |
|---|
| 9 | | Pawel M. Idziak,
Petar Markovic,
Ralph McKenzie,
Matthew Valeriote,
Ross Willard:
Tractability and Learnability Arising from Algebras with Few Subpowers.
SIAM J. Comput. 39(7): 3023-3037 (2010) |
| 2009 |
|---|
| 8 | | 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) |
| 7 | | Pawel M. Idziak,
Katarzyna Slomczynska,
Andrzej Wronski:
Fregean Varieties.
IJAC 19(5): 595-645 (2009) |
| 2007 |
|---|
| 6 | | 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 | | Andrei A. Bulatov,
Pawel M. Idziak:
Counting Mal'tsev clones on small sets.
Discrete Mathematics 268(1-3): 59-80 (2003) |
| 2000 |
|---|
| 4 | | 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 | | 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) |
Data released under the ODC-BY 1.0 license — See also our legal information page