Unification in commutative rings is not finitary
type: Item
instance of: scholarly article
title: Unification in commutative rings is not finitary
zbMATH Open document ID: 0703.68085
DOI: 10.1016/0020-0190(90)90183-X
author: Elsie Sterbin Gottlieb
published in: Information Processing Letters
publication date: 1990-01-01T00:00:00Z
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 68W30
zbMATH DE Number: 4153909
zbMATH Keywords: automatic theorem proving
zbMATH Keywords: unification
MaRDI profile type: Publication
cites work: Q4090395
cites work: Completion of a Set of Rules Modulo a Set of Equations
cites work: Q5678447
cites work: Unification theory
full work available at URL: 0020-0190(90)90183-x
OpenAlex ID: W1964000775
description: scientific article; zbMATH DE number 4153909