scientific article; zbMATH DE number 4164133

MaRDI QIDQ3490943zbMATH OpenFDO

Authors D. Basin

Publication date 1990

zbMATH Keywords

graph isomorphismNP-completeassociative-commutative functionsequality of terms

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25)

Recommendations

• Equality of terms containing associative-commutative functions and commutative binding operators is isomorphism complete
• A term equality problem equivalent to graph isomorphism
• Complexity of unification problems with associative-commutative operators
• scientific article; zbMATH DE number 512857
• scientific article; zbMATH DE number 1346499

Cited in

(4)

• Retrieving library functions by unifying types modulo linear isomorphism
• Equality of terms containing associative-commutative functions and commutative binding operators is isomorphism complete
• Automorphisms of types and their applications
• Rewriting Techniques and Applications

Describes a project that uses

Uses Software

• Nuprl

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3490943)