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)

Full work available at URL https://doi.org/10.1016/S0747-7171(87)80026-3

zbMATH Keywords

associative unificationequational theoriesMarkov's problemNP-hardone-sided distributivityunification

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

• 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
• 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?)
• Linear unification

Cited in

(25)

• A decision algorithm for distributive unification
• Unification problem in equational theories
• Solving \(*\)-problems modulo distributivity by a reduction to \(AC1\)- unification
• Unification modulo ACUI plus distributivity axioms
• On equational theories, unification, and (un)decidability
• Terminating non-disjoint combined unification
• Unification modulo synchronous distributivity
• New algorithms for unification modulo one-sided distributivity and its variants
• On unification modulo one-sided distributivity: algorithms, variants and asymmetry
• Unification modulo homomorphic encryption
• scientific article; zbMATH DE number 3921959 (Why is no real title available?)
• 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 modulo homomorphic encryption
• A partial solution for D-unification based on a reduction to AC1-unification
• More problems in rewriting
• Problems in rewriting III
• An algorithm for distributive unification
• “Syntactic” AC-unification
• Bounded ACh unification
• The complexity of counting problems in equational matching
• Decidability of unification in the theory of one-sided distributivity and a multiplicative unit
• Unital anti-unification: type and algorithms
• Complexity of unification problems with associative-commutative operators
• Free polynomial strong bimonoids

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)