Equality of terms containing associative-commutative functions and commutative binding operators is isomorphism complete

DOI10.1007/3-540-52885-7_92zbMath1509.68099MaRDI QIDQ6488535

David A. Basin

Publication date: 28 April 2023

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Mechanization of proofs and logical operations (03B35) Grammars and rewriting systems (68Q42) Isomorphism problems in graph theory (reconstruction conjecture, etc.) and homomorphisms (subgraph embedding, etc.) (05C60)

Cites Work

• Proving and applying program transformations expressed with second-order patterns
• The NP-completeness column: An ongoing guide
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Equality of terms containing associative-commutative functions and commutative binding operators is isomorphism complete