Equality of terms containing associative-commutative functions and commutative binding operators is isomorphism complete
- 1 January 1990
- book chapter
- Published by Springer Nature
- p. 251-260
- https://doi.org/10.1007/3-540-52885-7_92
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- The NP-completeness column: An ongoing guideJournal of Algorithms, 1988
- NP-completeness of the set unification and matching problemsPublished by Springer Nature ,1986
- Complexity of matching problemsPublished by Springer Nature ,1985
- Associative path orderingsPublished by Springer Nature ,1985
- Proving and applying program transformations expressed with second-order patternsActa Informatica, 1978
- Linear time algorithm for isomorphism of planar graphs (Preliminary Report)Published by Association for Computing Machinery (ACM) ,1974