dblp.uni-trier.dewww.uni-trier.de

Tomasz Wierzbicki

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2002
4EEDaniel 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
2EETomasz Wierzbicki: Complexity of the higher order matching. CADE 1999: 82-96
1996
1EEMiroslaw Kutylowski, Tomasz Wierzbicki: Approximate Compaction and Padded-Sorting on Exclusive Write PRAMs. IPPS 1996: 174-181

Coauthor Index

1Daniel J. Dougherty [4]
2Miroslaw Kutylowski [1] [3]
3Leszek Pacholski [3]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)