Computational Complexity of Term-Equivalence

Clifford Bergman, David Juedes, Giora Slutzki. Computational Complexity of Term-Equivalence. IJAC, 9(1):113-128, 1999. [doi]

Authors

Clifford Bergman

This author has not been identified. Look up 'Clifford Bergman' in Google

David Juedes

This author has not been identified. Look up 'David Juedes' in Google

Giora Slutzki

This author has not been identified. Look up 'Giora Slutzki' in Google