Modular termination of prefix-constrained term rewrite systems
type: Item
instance of: scholarly article
title: Modular termination of prefix-constrained term rewrite systems
author: Nirina Andrianarivelo
author: Pierre Réty
published in: Information Processing Letters
publication date: 2021-12-14T00:00:00Z
Mathematics Subject Classification ID: 68Qxx
zbMATH DE Number: 7444821
zbMATH Keywords: formal methods
zbMATH Keywords: prefix-constrained rewriting
zbMATH Keywords: modularity of termination
MaRDI profile type: Publication
full work available at URL: j.ipl.2021.106207
OpenAlex ID: W3200853050
cites work: Generalized sufficient conditions for modular termination of rewriting
cites work: Modularity in term rewriting revisited
cites work: Term Rewriting with Prefix Context Constraints and Bottom-Up Strategies
cites work: Context-sensitive rewriting strategies
cites work: Q3204048
cites work: On the modularity of termination of term rewriting systems
cites work: Q2783416
cites work: On termination of the direct sum of term-rewriting systems
cites work: Termination for direct sums of left-linear complete term rewriting systems
cites work: Counterexamples to termination for the direct sum of term rewriting systems
DOI: 10.1016/J.IPL.2021.106207
description: scientific article; zbMATH DE number 7444821