An algorithm for distributive unification

DOI10.1007/3-540-61464-8_60MaRDI QIDQ5055867zbMATH OpenOpenAlexFDO

Authors Manfred Schmidt-Schauß

Publication date 9 December 2022

Published in Rewriting Techniques and Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-61464-8_60

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35) Equational classes, universal algebra in model theory (03C05) Word problems, etc. in computability and recursion theory (03D40) Analysis of algorithms and problem complexity (68Q25)

Recommendations

• A decision algorithm for distributive unification
• scientific article; zbMATH DE number 517006
• Unification problems with one-sided distributivity
• Decidability of unification in the theory of one-sided distributivity and a multiplicative unit
• scientific article; zbMATH DE number 3921959

Cites work

• Algebra of communicating processes with abstraction
• An algorithm for distributive unification
• Complexity of unification problems with associative-commutative operators
• scientific article; zbMATH DE number 3843132 (Why is no real title available?)
• scientific article; zbMATH DE number 3577484 (Why is no real title available?)
• scientific article; zbMATH DE number 1348479 (Why is no real title available?)
• scientific article; zbMATH DE number 1346494 (Why is no real title available?)
• scientific article; zbMATH DE number 517006 (Why is no real title available?)
• Minimal and complete word unification
• On the unification problem for Cartesian closed categories
• Process Algebra
• Retrieving library identifiers via equational matching of types
• Simple second-order languages for which unification is undecidable
• Solving \(*\)-problems modulo distributivity by a reduction to \(AC1\)- unification
• The undecidability of the second-order unification problem
• Unification in a combination of arbitrary disjoint equational theories
• Unification problems with one-sided distributivity
• Unification theory
• Word unification and transformation of generalized equations

Cited in

(10)

• A decision algorithm for distributive unification
• Unification in free distributive lattices
• Complexity of nilpotent unification and matching problems.
• 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 36613 (Why is no real title available?)
• A partial solution for D-unification based on a reduction to AC1-unification
• An algorithm for distributive unification
• FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
• A practical unification algorithm

This page was built for publication: An algorithm for distributive unification

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