Some results on the confluence property of combined term rewriting systems
type: Item
instance of: scholarly article
title: Some results on the confluence property of combined term rewriting systems
zbMATH Open document ID: 0821.68072
DOI: 10.1007/BF02945519
author: Xubo Zhang
published in: Journal of Computer Science and Technology
publication date: 1994-11-08T00:00:00Z
Mathematics Subject Classification ID: 68Q42
zbMATH DE Number: 683610
zbMATH Keywords: term rewriting systems
MaRDI profile type: Publication
cites work: Q3783521
cites work: Finite complete rewriting systems and the complexity of word problem
cites work: Termination of rewriting
cites work: Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
cites work: Q5581665
cites work: Operational and Semantic Equivalence Between Recursive Programs
cites work: Tree-Manipulating Systems and Church-Rosser Theorems
cites work: On the Church-Rosser property for the direct sum of term rewriting systems
description: scientific article; zbMATH DE number 683610