An algorithm for distributive unification
From MaRDI portal
Publication:5055867
Recommendations
Cites work
- 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?)
- Algebra of communicating processes with abstraction
- An algorithm for distributive unification
- Complexity of unification problems with associative-commutative operators
- 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
(9)- A practical unification algorithm
- Complexity of nilpotent unification and matching problems.
- scientific article; zbMATH DE number 3921959 (Why is no real title available?)
- A partial solution for \(D\)-unification based on a reduction to AC1-unification
- scientific article; zbMATH DE number 4049126 (Why is no real title available?)
- An algorithm for distributive unification
- FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
- A decision algorithm for distributive unification
- scientific article; zbMATH DE number 36613 (Why is no real title available?)
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)