Tomasz Wierzbicki

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

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2002

A Decidable Variant of Higher Order Matching.

[BibT_eX]

[DOI]

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

1999

Complexity of the higher order matching.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction, 1999

1996

Approximate Compaction and Padded-Sorting on Exclusive Write PRAMs.

[BibT_eX]

[DOI]

Proceedings of IPPS '96, 1996