Some polynomial-time algorithms for finite monadic Church-Rosser Thue systems
type: Item
instance of: scholarly article
title: Some polynomial-time algorithms for finite monadic Church-Rosser Thue systems
zbMATH Open document ID: 0677.68050
DOI: 10.1016/0304-3975(89)90167-9
author: Paliath Narendran
author: Friedrich Otto
published in: Theoretical Computer Science
publication date: 1989-01-01T00:00:00Z
Mathematics Subject Classification ID: 68Q25
Mathematics Subject Classification ID: 68Q65
Mathematics Subject Classification ID: 03D03
Mathematics Subject Classification ID: 03B25
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 68T99
zbMATH DE Number: 4110114
zbMATH Keywords: finite monadic Church-Rosser Thue systems
zbMATH Keywords: rewriting systems
zbMATH Keywords: uniform decision problems
zbMATH Keywords: uniform conjugacy problem
MaRDI profile type: Publication
full work available at URL: 0304-3975(89)90167-9
OpenAlex ID: W1979249711
cites work: Confluent and Other Types of Thue Systems
cites work: Decidable sentences of Church-Rosser congruences
cites work: Q3677188
cites work: Thue systems as rewriting systems
cites work: Presentations of groups and monoids
cites work: Q5592246
cites work: The Knuth-Bendix Completion Procedure and Thue Systems
cites work: The equation \(a_ M=b^ Nc^ P\) in a free group
cites work: Cancellativity in finitely presented semigroups
cites work: Complexity results on the conjugacy problem for monoids
cites work: The problems of cyclic equality and conjugacy for finite complete rewriting systems
cites work: Elements of finite order for finite weight-reducing and confluent Thue systems
cites work: The uniform conjugacy problem for finite church—Rosser thue systems is NP-complete
cites work: Conjugacy in monoids with a special Church-Rosser presentation is decidable
cites work: Elements of Finite Order for Finite Monadic Church-Rosser Thue Systems
cites work: On two problems related to cancellativity
description: scientific article; zbMATH DE number 4110114