![]() |
| 2008 | ||
|---|---|---|
| 11 | EE | Jason Jingshi Li, Tomasz Kowalski, Jochen Renz, Sanjiang Li: Combining binary constraint networks in qualitative reasoning. ECAI 2008: 515-519 |
| 2006 | ||
| 10 | EE | Tomasz Kowalski, Marcus Kracht: Semisimple Varieties of Modal Algebras. Studia Logica 83(1-3): 351-363 (2006) |
| 2004 | ||
| 9 | EE | Tomasz Kowalski: Semisimplicity, EDPC and Discriminator Varieties of Residuated Lattices. Studia Logica 77(2): 255-265 (2004) |
| 2003 | ||
| 8 | Krzysztof Jassem, Filip Graliñski, Tomasz Kowalski: Applying Transition Networks in Translating Polish E-Mails. IIS 2003: 521-527 | |
| 2002 | ||
| 7 | Tomasz Kowalski: PDL Has Interpolation. J. Symb. Log. 67(3): 933-946 (2002) | |
| 2000 | ||
| 6 | Tomasz Kowalski, H. Ono: Remarks on Splittings in the Variety of Residuated Lattices. Reports on Mathematical Logic 34: 133-140 (2000) | |
| 5 | EE | Tomasz Kowalski, H. Ono: The Variety of Residuated Lattices is Generated by its Finite Simple Members. Reports on Mathematical Logic 34: 59-77 (2000) |
| 1999 | ||
| 4 | EE | Tomasz Kowalski: Pretabular Varieties of Equivalential Algebras. Reports on Mathematical Logic 33: 3-10 (1999) |
| 1998 | ||
| 3 | EE | Tomasz Kowalski: Varieties of Tense Algebras. Reports on Mathematical Logic 32: 53-95 (1998) |
| 1995 | ||
| 2 | Tomasz Kowalski: The Bottom of the Lattice of BCK-varieties. Reports on Mathematical Logic 29: 87-93 (1995) | |
| 1994 | ||
| 1 | EE | Tomasz Kowalski: A Syntactic Proof of a Conjecture of Andrzej Wronski. Reports on Mathematical Logic 28: 81-86 (1994) |
| 1 | Filip Graliñski | [8] |
| 2 | Krzysztof Jassem | [8] |
| 3 | Marcus Kracht | [10] |
| 4 | Jason Jingshi Li | [11] |
| 5 | Sanjiang Li | [11] |
| 6 | H. Ono | [5] [6] |
| 7 | Jochen Renz | [11] |