scientific article; zbMATH DE number 3921959

MaRDI QIDQ3696499zbMATH OpenFDO

Authors Stefan Arnborg, Erik Tidén

Publication date 1985

zbMATH Keywords

equational theoryquadratic time unification algorithm

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Abstract data types; algebraic specification (68Q65)

Recommendations

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

Cited in

(13)

• Unification problems with one-sided distributivity
• History and basic features of the critical-pair/completion procedure
• A decision algorithm for distributive unification
• Unification in free distributive lattices
• Solving \(*\)-problems modulo distributivity by a reduction to \(AC1\)- unification
• Unification modulo ACUI plus distributivity axioms
• Unification modulo synchronous distributivity
• New algorithms for unification modulo one-sided distributivity and its variants
• On unification modulo one-sided distributivity: algorithms, variants and asymmetry
• scientific article; zbMATH DE number 4049126 (Why is no real title available?)
• scientific article; zbMATH DE number 517006 (Why is no real title available?)
• An algorithm for distributive unification
• Decidability of unification in the theory of one-sided distributivity and a multiplicative unit

This page was built for publication:

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