Unification problem in equational theories

DOI10.1007/BF02733227zbMATH Open0919.68116MaRDI QIDQ1280985FDOQ1280985

Authors: S. L. Kryvyi 

Publication date: 15 March 1999

Published in: Cybernetics and Systems Analysis (Search for Journal in Brave)

Recommendations

• Model-theoretic aspects of unification
• Algebraic and logical aspects of unification
• Unification through projectivity
• scientific article; zbMATH DE number 3871321
• scientific article; zbMATH DE number 1552528

zbMATH Keywords

universal algebras

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Cites Work

• Title not available (Why is that?)
• Linear unification
• An Efficient Unification Algorithm
• A Machine-Oriented Logic Based on the Resolution Principle
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A Unification Algorithm for Associative-Commutative Functions
• Embedding Boolean expressions into logic programming
• Boolean unification - the story so far
• Minimal and complete word unification
• Unification in a combination of arbitrary disjoint equational theories
• The undecidability of the D_A-unification problem
• Title not available (Why is that?)
• Complexity of matching problems
• Unification problems with one-sided distributivity
• Unification in commutative idempotent monoids
• Title not available (Why is that?)
• Unification in commutative theories
• Efficient solution of linear diophantine equations
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Unification under associativity and idempotence is of type nullary
• The theory of idempotent semigroups is of unification type zero
• A unification algorithm for typed \(\overline\lambda\)-calculus
• Complexity of the unification algorithm for first-order expressions
• Hilbert's tenth problem is of unification type zero
• Title not available (Why is that?)
• Unification in abelian semigroups
• Title not available (Why is that?)
• DIOPHANTINE SETS
• A technical note on AC-unification. The number of minimal unifiers of the equation \(\alpha x_ 1+ \cdots + \alpha x_ p \doteq _{AC} \beta y_ 1+ \cdots + \beta y_ q\)
• Title not available (Why is that?)

Cited In (7)

• Deciding the word problem in the union of equational theories.
• Narrowing based procedures for equational disunification
• Title not available (Why is that?)
• Variant-based equational anti-unification
• Model-theoretic aspects of unification
• The undecidability of the unification and matching problem for canonical theories
• A note on a canonical theory with undecidable unification and matching problem

This page was built for publication: Unification problem in equational theories

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