| |
| 2002 | ||
|---|---|---|
| 4 | EE | Daniel J. Dougherty, Tomasz Wierzbicki: A Decidable Variant of Higher Order Matching. RTA 2002: 340-351 |
| 1999 | ||
| 3 | Miroslaw Kutylowski, Leszek Pacholski, Tomasz Wierzbicki: Mathematical Foundations of Computer Science 1999, 24th International Symposium, MFCS'99, Szklarska Poreba, Poland, September 6-10, 1999, Proceedings Springer 1999 | |
| 2 | EE | Tomasz Wierzbicki: Complexity of the higher order matching. CADE 1999: 82-96 |
| 1996 | ||
| 1 | EE | Miroslaw Kutylowski, Tomasz Wierzbicki: Approximate Compaction and Padded-Sorting on Exclusive Write PRAMs. IPPS 1996: 174-181 |
| 1 | Daniel J. Dougherty | [4] |
| 2 | Miroslaw Kutylowski | [1] [3] |
| 3 | Leszek Pacholski | [3] |