Automatic maintenance of transitive properties with applications to shape analysis

Tal Lev-Ami. Automatic maintenance of transitive properties with applications to shape analysis. PhD thesis, Tel Aviv University, Israel, 2009. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.