Publication
-
January 1998
-
January 1998
-
Bisimilarity in term graph rewriting Tech Report
January 1998
-
Manual of the TYPO type checker Tech Report
January 1998
-
January 1998
-
Wavelet transform in similarity paradigm Tech Report
January 1998
-
Dynamic reasoning without variables Tech Report
January 1998
-
On the incomparability of Gamma and Linda Tech Report
January 1998