When is a monoid a group? The Church-Rosser case is tractable
type: Item
instance of: scholarly article
title: When is a monoid a group? The Church-Rosser case is tractable
zbMATH Open document ID: 0489.68021
DOI: 10.1016/0304-3975(82)90072-X
author: Ronald V. Book
published in: Theoretical Computer Science
publication date: 1982-01-01T00:00:00Z
Mathematics Subject Classification ID: 68Q65
Mathematics Subject Classification ID: 20M35
Mathematics Subject Classification ID: 03D03
Mathematics Subject Classification ID: 03B25
Mathematics Subject Classification ID: 20F10
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 3770930
zbMATH Keywords: Thue system on a finite alphabet
zbMATH Keywords: polynomial-time decision procedure
zbMATH Keywords: context-free grammar
zbMATH Keywords: finite monadic Church-Rosser Thue system
MaRDI profile type: Publication
cites work: Q5602108
cites work: Confluent and Other Types of Thue Systems
cites work: Monadic Thue systems
cites work: Testing for the Church-Rosser property
cites work: Une généralisation des ensembles de Dyck
cites work: Q4198056
cites work: Q3862379
cites work: Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
cites work: On a special monoid with a single defining relation
cites work: Infinite regular Thue systems
cites work: Tree-Manipulating Systems and Church-Rosser Theorems
Wikidata QID: Q127857713
full work available at URL: 0304-3975(82)90072-x
OpenAlex ID: W1994922201
description: scientific article; zbMATH DE number 3770930