A Noetherian and confluent rewrite system for idempotent semigroups
type: Item
instance of: scholarly article
title: A Noetherian and confluent rewrite system for idempotent semigroups
zbMATH Open document ID: 0493.68087
DOI: 10.1007/BF02573590
author: S. Singh
published in: Semigroup Forum
publication date: 1982-01-01T00:00:00Z
full work available at URL: https://eudml.org/doc/134565
Mathematics Subject Classification ID: 68T99
Mathematics Subject Classification ID: 20M35
Mathematics Subject Classification ID: 20F10
zbMATH DE Number: 3776904
zbMATH Keywords: band
zbMATH Keywords: replacement rules
zbMATH Keywords: terminating replacement system
zbMATH Keywords: Church-Rosser- Property
zbMATH Keywords: unique normal form for words
zbMATH Keywords: decision procedure for word equality
zbMATH Keywords: term rewriting systems
MaRDI profile type: Publication
cites work: Q5344208
cites work: Q3848243
cites work: Q5809194
cites work: Abstract data types and software validation
cites work: Q3883561
cites work: Q4126563
cites work: Q4198075
cites work: Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
cites work: Q5581665
cites work: New decision algorithms for finitely presented commutative semigroups
cites work: Q4139711
cites work: Idempotent Semigroups
description: scientific article; zbMATH DE number 3776904