Undecidable questions related to Church-Rosser Thue systems
type: Item
instance of: scholarly article
title: Undecidable questions related to Church-Rosser Thue systems
zbMATH Open document ID: 0512.03019
DOI: 10.1016/0304-3975(83)90039-7
published in: Theoretical Computer Science
publication date: 1983-01-01T00:00:00Z
Mathematics Subject Classification ID: 03D03
zbMATH DE Number: 3807596
zbMATH Keywords: finite Thue systems
zbMATH Keywords: almost confluent
zbMATH Keywords: preperfect
zbMATH Keywords: Church-Rosser congruence
author: Colm P. O'Dunlaing
MaRDI profile type: Publication
full work available at URL: 0304-3975(83)90039-7
OpenAlex ID: W1997017650
cites work: Confluent and Other Types of Thue Systems
cites work: Q3319766
cites work: Homogeneous Thue systems and the Church-Rosser property
cites work: Monadic Thue systems
cites work: Testing for the Church-Rosser property
cites work: Thue congruences and the Church-Rosser property
cites work: Q5804999
cites work: Infinite regular Thue systems
cites work: Recursive Unsolvability of a problem of Thue
cites work: Recursive unsolvability of group theoretic problems
description: scientific article; zbMATH DE number 3807596