Unification problems with one-sided distributivity

DOI10.1016/S0747-7171(87)80026-3zbMATH Open0638.68104MaRDI QIDQ1099650FDOQ1099650

Authors: Stefan Arnborg, Erik Tidén 

Publication date: 1987

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

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

zbMATH Keywords

NP-hardunificationequational theoriesone-sided distributivityassociative unificationMarkov's problem

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05)

Cites Work

• Title not available (Why is that?)
• Efficiency of a Good But Not Linear Set Union Algorithm
• Algebra of communicating processes with abstraction
• Linear unification
• An Efficient Unification Algorithm
• Hilbert's Tenth Problem is Unsolvable
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (21)

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

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)