An algorithm for distributive unification
From MaRDI portal
Publication:5055867
DOI10.1007/3-540-61464-8_60zbMath1503.03020OpenAlexW2155542437MaRDI QIDQ5055867
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
Analysis of algorithms and problem complexity (68Q25) Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35) Word problems, etc. in computability and recursion theory (03D40) Equational classes, universal algebra in model theory (03C05)
Related Items
An algorithm for distributive unification, A decision algorithm for distributive unification, Complexity of nilpotent unification and matching problems.
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unification in a combination of arbitrary disjoint equational theories
- Complexity of unification problems with associative-commutative operators
- Simple second-order languages for which unification is undecidable
- Algebra of communicating processes with abstraction
- Unification problems with one-sided distributivity
- Unification theory
- The undecidability of the second-order unification problem
- Word unification and transformation of generalized equations
- Solving \(*\)-problems modulo distributivity by a reduction to \(AC1\)- unification
- Minimal and complete word unification
- Process Algebra
- On the unification problem for Cartesian closed categories
- An algorithm for distributive unification
