Infinite normal forms for non-linear term rewriting systems
type: Item
instance of: scholarly article
title: Infinite normal forms for non-linear term rewriting systems
zbMATH Open document ID: 0872.68076
DOI: 10.1016/0304-3975(94)00244-6
author: P. Inverardi
author: Monica Nesi
published in: Theoretical Computer Science
publication date: 1997-02-27T00:00:00Z
Mathematics Subject Classification ID: 68Q42
zbMATH DE Number: 984876
zbMATH Keywords: nonterminating rewrite relations
zbMATH Keywords: nonorthogonal term rewriting systems
MaRDI profile type: Publication
full work available at URL: 0304-3975(94)00244-6
OpenAlex ID: W2004273699
cites work: Q4890709
cites work: Fundamental properties of infinite trees
cites work: Q4772711
cites work: Q4385532
cites work: Rewrite, rewrite, rewrite, rewrite, rewrite, \dots
cites work: Branching time and abstraction in bisimulation semantics
cites work: Q4934252
cites work: A rewriting strategy to verify observational congruence
cites work: Deciding observational congruence of finite-state CCS expressions by rewriting
cites work: Q4035244
cites work: Rational rewriting
cites work: Transfinite reductions in orthogonal term rewriting systems
cites work: Q3992568
cites work: A complete axiomatisation for observational congruence of finite-state behaviours
description: scientific article; zbMATH DE number 984876