Tomasz Wierzbicki

According to our database, Tomasz Wierzbicki authored at least 3 papers between 1996 and 2002.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2002

A Decidable Variant of Higher Order Matching.

Daniel J. Dougherty, Tomasz Wierzbicki

Proceedings of the Rewriting Techniques and Applications, 13th International Conference, 2002

1999

Complexity of the higher order matching.

Tomasz Wierzbicki

Proceedings of the Automated Deduction, 1999

1996

Approximate Compaction and Padded-Sorting on Exclusive Write PRAMs.

Miroslaw Kutylowski, Tomasz Wierzbicki

Proceedings of IPPS '96, 1996