Solving \(*\)-problems modulo distributivity by a reduction to \(AC1\)- unification
type: Item
instance of: scholarly article
title: Solving \(*\)-problems modulo distributivity by a reduction to \(AC1\)- unification
zbMATH Open document ID: 0803.68059
author: Evelyne Contejean
published in: Journal of Symbolic Computation
publication date: 1994-05-05T00:00:00Z
Mathematics Subject Classification ID: 68Q42
Mathematics Subject Classification ID: 03B25
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 08A70
zbMATH DE Number: 563557
zbMATH Keywords: distributivity
zbMATH Keywords: \(AC1\)-unification
zbMATH Keywords: minimal solutions
MaRDI profile type: Publication
full work available at URL: jsco.1993.1060
OpenAlex ID: W1963980691
DOI: 10.1006/JSCO.1993.1060
description: scientific article; zbMATH DE number 563557