On ground-confluence of term rewriting systems
type: Item
instance of: scholarly article
title: On ground-confluence of term rewriting systems
zbMATH Open document ID: 0699.68041
DOI: 10.1016/0890-5401(90)90023-B
author: Deepak Kapur
author: Paliath Narendran
author: Friedrich Otto
published in: Information and Computation
publication date: 1990-01-01T00:00:00Z
Mathematics Subject Classification ID: 68Q65
Mathematics Subject Classification ID: 68W30
Mathematics Subject Classification ID: 03D03
Mathematics Subject Classification ID: 03B25
Mathematics Subject Classification ID: 03D35
zbMATH DE Number: 4147489
zbMATH Keywords: confluence
zbMATH Keywords: Church-Rosser property
zbMATH Keywords: Knuth-Bendix completion
zbMATH Keywords: procedure
zbMATH Keywords: Noetherian term rewriting system
MaRDI profile type: Publication
cites work: Finite complete rewriting systems and the complexity of word problem
cites work: Q3725540
cites work: Confluent and Other Types of Thue Systems
cites work: Reductions in tree replacement systems
cites work: Q3862379
cites work: Q3883561
cites work: A finite Thue system with decidable word problem and without equivalent finite canonical system
cites work: Q3761697
cites work: Q5581665
cites work: Q3993260
cites work: Q3915990
cites work: On two problems related to cancellativity
cites work: Q3883463
cites work: Semantic confluence tests and completion methods
cites work: Q3696496
Recommended article: Q4033499
Recommended article: Q3702507
Recommended article: Term Rewriting and Applications
Recommended article: Confluence of curried term-rewriting systems
Recommended article: Confluence of nearly orthogonal infinitary term rewriting systems
Recommended article: Confluence of algebraic rewriting systems
Recommended article: Q4418639
Recommended article: Decidability of the confluence of finite ground term rewrite systems and of other related term rewrite systems
Recommended article: A class of confluent term rewriting systems and unification
Recommended article: Q2723890
description: scientific article; zbMATH DE number 4147489