New techniques for proving the decidability of equivalence problems☆,☆☆
Under an Elsevier user license
open archive
Cited by (0)
- ☆
Reported research was supported by the National Sciences Foundation under Grant No. CCR-8702752 and by the Natural Sciences and Engineering Research Council of Canada under Grant No. A-7403.
- ☆☆
The preliminary version of this paper was presented at the 15th ICALP in Tampere, Finland, July 1988.
Copyright © 1990 Published by Elsevier B.V.