Tomasz Wierzbicki

Publication Activity (10 Years)

Years Active: 1996-2002
Publications (10 Years): 0

Publications

Daniel J. Dougherty, Tomasz Wierzbicki
A Decidable Variant of Higher Order Matching. RTA (2002)
Tomasz Wierzbicki
Complexity of the higher order matching. CADE (1999)
Miroslaw Kutylowski, Tomasz Wierzbicki
Approximate Compaction and Padded-Sorting on Exclusive Write PRAMs. IPPS (1996)