Remarks on Thatte's transformation of term rewriting systems
type: Item
instance of: scholarly article
title: Remarks on Thatte's transformation of term rewriting systems
zbMATH Open document ID: 1101.68630
author: Bas Luttik
author: P. H. Rodenburg
author: Rakesh M. Verma
published in: Information and Computation
publication date: 2005-02-22T00:00:00Z
Mathematics Subject Classification ID: 68Q42
zbMATH DE Number: 2136252
zbMATH Keywords: Term rewriting
zbMATH Keywords: Thatte's transformation
zbMATH Keywords: Constructor-based system
MaRDI profile type: Publication
full work available at URL: j.ic.2003.09.006
OpenAlex ID: W2098600949
cites work: Q4520528
cites work: Q4385532
cites work: Q4699301
cites work: Confluence of curried term-rewriting systems
cites work: Comparing curried and uncurried rewriting
cites work: Forward and backward simulations. I. Untimed Systems
cites work: Q4799892
cites work: On the correspondence between two classes of reduction systems
cites work: Implementing first-order rewriting with constructor systems
cites work: A theory of using history for equational systems with applications
cites work: Transformations and confluence for rewrite systems
DOI: 10.1016/J.IC.2003.09.006
description: scientific article; zbMATH DE number 2136252