Any ground associative-commutative theory has a finite canonical system
type: Item
instance of: scholarly article
title: Any ground associative-commutative theory has a finite canonical system
zbMATH Open document ID: 0878.68076
DOI: 10.1007/BF00247671
author: Paliath Narendran
author: Michaël Rusinowitch
published in: Journal of Automated Reasoning
publication date: 1997-12-14T00:00:00Z
Mathematics Subject Classification ID: 68Q42
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 1019907
zbMATH Keywords: Knuth-Bendix procedure
zbMATH Keywords: associative commutative unification
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 1019907