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
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)