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] |