Arthur L. Delcher and Simon Kasif. E#cient parallel term matching and anti-unification. Journal of Automated Reasoning, 9(3):391--406, December 1992. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First-Order Term Compression: Techniques and Applications - Cheney (1998) (Correct)
No context found.
Arthur L. Delcher and Simon Kasif. E#cient parallel term matching and anti-unification. Journal of Automated Reasoning, 9(3):391--406, December 1992.
First-Order Term Compression: Techniques and Applications - Cheney (1998) (Correct)
No context found.
Arthur L. Delcher and Simon Kasif. E#cient parallel term matching and anti-unification. Journal of Automated Reasoning, 9(3):391--406, December 1992.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC