An algorithm for distributive unification

DOI10.1007/3-540-61464-8_60zbMATH Open1503.03020OpenAlexW2155542437MaRDI QIDQ5055867FDOQ5055867

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

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

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) 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)

Cites Work

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

Cited In (9)

• FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
• Title not available (Why is that?)
• Title not available (Why is that?)
• Complexity of nilpotent unification and matching problems.
• An algorithm for distributive unification
• A practical unification algorithm
• A partial solution for \(D\)-unification based on a reduction to AC1-unification
• A decision algorithm for distributive unification
• Title not available (Why is that?)

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)