Unification in commutative rings is not finitary

DOI10.1016/0020-0190(90)90183-XzbMath0703.68085OpenAlexW1964000775MaRDI QIDQ916417

Elsie Sterbin Gottlieb

Publication date: 1990

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(90)90183-x

zbMATH Keywords

unificationautomatic theorem proving

Mathematics Subject Classification ID

Related Items (4)

PYTHAGOREAN TRIPLES IN THE UNIFICATION THEORY OF ASSOCIATIVE AND COMMUTATIVE RINGS ⋮ Computers and universal algebra: Some directions ⋮ Unification in commutative semigroups ⋮ The unification type of the Pythagorean equation in varieties of nilpotent rings

Cites Work

• Unification theory
• Completion of a Set of Rules Modulo a Set of Equations
• Unnamed Item
• Unnamed Item

This page was built for publication: Unification in commutative rings is not finitary