Termination modulo equations by abstract commutation with an application to iteration
type: Item
instance of: scholarly article
title: Termination modulo equations by abstract commutation with an application to iteration
zbMATH Open document ID: 0901.68090
DOI: 10.1016/S0304-3975(96)00254-X
author: Hans Zantema
author: Wan Fokkink
published in: Theoretical Computer Science
publication date: 1998-07-23T00:00:00Z
Mathematics Subject Classification ID: 68Q42
zbMATH DE Number: 1178548
zbMATH Keywords: term rewriting
zbMATH Keywords: process algebra
MaRDI profile type: Publication
cites work: An equational axiomatization for multi-exit iteration
cites work: Axiomatizing prefix iteration with silent steps
cites work: Associative-commutative reduction orderings
cites work: Q3783521
cites work: Termination orderings for associative-commutative rewriting systems
cites work: Q4727412
cites work: Termination by completion
cites work: Q4525274
cites work: Process algebra for synchronous communication
cites work: Algebra of communicating processes with abstraction
cites work: Path orderings for termination of associative-commutative rewriting
cites work: Total termination of term rewriting
cites work: Dummy elimination in equational rewriting
cites work: Dummy elimination: Making termination easier
cites work: A complete equational axiomatization for prefix iteration
cites work: Q4375630
cites work: Q3783522
cites work: Q3336736
cites work: Q3976057
cites work: On the Forms of the Predicates in the Theory of Constructive Ordinals
cites work: Q3805891
cites work: A complete inference system for a class of regular behaviours
cites work: Q3907077
cites work: Termination of term rewriting: Interpretation and type elimination
cites work: Q4847000
cites work: A complete characterization of termination of 0p 1q→1r 0s
cites work: Improving associative path orderings
full work available at URL: s0304-3975(96)00254-x
OpenAlex ID: W1978137006
Recommended article: Termination and completion modulo associativity, commutativity and identity
Recommended article: Termination Modulo Combinations of Equational Theories
Recommended article: Modular Termination and Combinability for Superposition Modulo Counter Arithmetic
Recommended article: Q4264635
Recommended article: Termination of linear loops under commutative updates
Recommended article: Equational theorem proving modulo
Recommended article: Q3336736
Recommended article: An iteration technique and commutativity of rings
Recommended article: Q3783521
Recommended article: A note on finite termination of iterative algorithms in mathematical programming
description: scientific article; zbMATH DE number 1178548