Chain properties of rule closures
type: Item
instance of: scholarly article
title: Chain properties of rule closures
zbMATH Open document ID: 0703.68066
DOI: 10.1007/BF01888225
author: Miki Hermann
published in: Formal Aspects of Computing
publication date: 1990-01-01T00:00:00Z
Mathematics Subject Classification ID: 68Q42
Mathematics Subject Classification ID: 03D03
zbMATH DE Number: 4153896
zbMATH Keywords: term-rewriting systems
zbMATH Keywords: divergence process
zbMATH Keywords: Knuth-Bendix completion procedure
describes a project that uses: REVE
MaRDI profile type: Publication
cites work: Termination of rewriting systems by polynomial interpretations and its implementation
cites work: Termination of rewriting
cites work: On Proving Uniform Termination and Restricted Termination of Rewriting Systems
cites work: Q3725541
cites work: A complete proof of correctness of the Knuth-Bendix completion algorithm
cites work: Schematization of infinite sets of rewrite rules generated by divergent completion processes
cites work: Tree-Manipulating Systems and Church-Rosser Theorems
cites work: Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity
full work available at URL: https://doi.org/10.1007/bf01888225
OpenAlex ID: W2024574878
description: scientific article; zbMATH DE number 4153896