On the recursive decomposition ordering with lexicographical status and other related orderings
type: Item
instance of: scholarly article
title: On the recursive decomposition ordering with lexicographical status and other related orderings
zbMATH Open document ID: 0698.68031
DOI: 10.1007/BF00302640
author: Pierre Lescanne
published in: Journal of Automated Reasoning
publication date: 1990-01-01T00:00:00Z
Mathematics Subject Classification ID: 68Q65
Mathematics Subject Classification ID: 03D03
Mathematics Subject Classification ID: 06A99
zbMATH DE Number: 4145318
zbMATH Keywords: well-foundedness
zbMATH Keywords: termination
zbMATH Keywords: term rewriting systems
describes a project that uses: RRL
describes a project that uses: REVE
MaRDI profile type: Publication
cites work: Orderings for term-rewriting systems
cites work: Termination of rewriting
cites work: Q3696498
cites work: On folk theorems
cites work: Ordering by Divisibility in Abstract Algebras
cites work: Q3028369
cites work: Q3659124
cites work: Q3683533
cites work: Q3336681
cites work: Path of subterms ordering and recursive decomposition ordering revisited
description: scientific article; zbMATH DE number 4145318