Unification problems with one-sided distributivity

DOI10.1016/S0747-7171(87)80026-3MaRDI QIDQ1099650zbMATH OpenFDO

Authors Stefan Arnborg, Erik Tidén

Publication date 1987

Published in Journal of Symbolic Computation (Search for Journal in Brave)

zbMATH Keywords

NP-hardunificationequational theoriesone-sided distributivityassociative unificationMarkov's problem

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05)

Recommendations

• scientific article; zbMATH DE number 3921959
• scientific article; zbMATH DE number 517006
• Unification modulo ACUI plus homomorphisms/distributivity.
• Decidability of unification in the theory of one-sided distributivity and a multiplicative unit
• Unification modulo synchronous distributivity

Cites work

• scientific article; zbMATH DE number 3843132 (Why is no real title available?)
• scientific article; zbMATH DE number 3871334 (Why is no real title available?)
• scientific article; zbMATH DE number 3936507 (Why is no real title available?)
• scientific article; zbMATH DE number 3688776 (Why is no real title available?)
• scientific article; zbMATH DE number 3590511 (Why is no real title available?)
• scientific article; zbMATH DE number 3639144 (Why is no real title available?)
• Algebra of communicating processes with abstraction
• An Efficient Unification Algorithm
• Efficiency of a Good But Not Linear Set Union Algorithm
• Hilbert's Tenth Problem is Unsolvable
• Linear unification

Cited in

(21)

• On equational theories, unification, and (un)decidability
• On unification modulo one-sided distributivity: algorithms, variants and asymmetry
• More problems in rewriting
• Unification modulo homomorphic encryption
• Unification modulo homomorphic encryption
• The complexity of counting problems in equational matching
• Unification modulo synchronous distributivity
• New algorithms for unification modulo one-sided distributivity and its variants
• scientific article; zbMATH DE number 3921959 (Why is no real title available?)
• A partial solution for \(D\)-unification based on a reduction to AC1-unification
• scientific article; zbMATH DE number 4049126 (Why is no real title available?)
• scientific article; zbMATH DE number 517006 (Why is no real title available?)
• Unification problem in equational theories
• Bounded ACh unification
• An algorithm for distributive unification
• Unification modulo ACUI plus distributivity axioms
• Complexity of unification problems with associative-commutative operators
• “Syntactic” AC-unification
• A decision algorithm for distributive unification
• Problems in rewriting III
• Terminating non-disjoint combined unification

This page was built for publication: Unification problems with one-sided distributivity

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