Bounded, strongly sequential and forward-branching term rewriting systems
type: Item
instance of: scholarly article
title: Bounded, strongly sequential and forward-branching term rewriting systems
zbMATH Open document ID: 0834.68061
author: Irène Durand
published in: Journal of Symbolic Computation
publication date: 1995-06-08T00:00:00Z
Mathematics Subject Classification ID: 68Q42
zbMATH DE Number: 762064
zbMATH Keywords: strongly sequential class
zbMATH Keywords: bounded class
MaRDI profile type: Publication
full work available at URL: jsco.1994.1050
OpenAlex ID: W2045435392
DOI: 10.1006/JSCO.1994.1050
Recommended article: Strongly sequential and inductively sequential term rewriting systems
Recommended article: Semantics and strong sequentially of priority term rewriting systems
Recommended article: Q5389154
Recommended article: Semantics and strong sequentiality of priority term rewriting systems
Recommended article: Q2778880
Recommended article: A compact fixpoint semantics for term rewriting systems
Recommended article: Term Rewriting and Applications
Recommended article: Q4038704
Recommended article: A refinement of strong sequentiality for term rewriting with constructors
Recommended article: Proving Termination of Rewrite Systems Using Bounds
description: scientific article; zbMATH DE number 762064