Transfinite reductions in orthogonal term rewriting systems
type: Item
instance of: scholarly article
title: Transfinite reductions in orthogonal term rewriting systems
zbMATH Open document ID: 0832.68063
author: Richard Kennaway
author: Jan Willem Klop
author: Ronan Sleep
author: Fer-Jan De Vries
published in: Information and Computation
publication date: 1995-08-01T00:00:00Z
Mathematics Subject Classification ID: 68Q42
zbMATH DE Number: 772328
zbMATH Keywords: transfinite term rewriting
zbMATH Keywords: transfinite Church-Rosser property
describes a project that uses: Miranda
MaRDI profile type: Publication
OpenAlex ID: W2084745607
DOI: 10.1006/INCO.1995.1075
description: scientific article; zbMATH DE number 772328