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