scientific article; zbMATH DE number 4164133

zbMATH Open0708.68021MaRDI QIDQ3490943FDOQ3490943

Authors: D. Basin 

Publication date: 1990

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

graph isomorphismNP-completeassociative-commutative functionsequality of terms

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25)

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

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)