Regular ArticleCombining Decision Algorithms for Matching in the Union of Disjoint Equational Theories☆,☆☆
Under an Elsevier user license
open archive
Cited by (0)
- ☆
final manuscript received February 1, 1996
- ☆☆
Revised version of a paper presented at the STACS'94 conference under the title “Combination of Matching Algorithms.”
- f1
E-mail: [email protected]
Copyright © 1996 Academic Press. All rights reserved.