Regular Article
Derivation Trees of Ground Term Rewriting Systems

https://doi.org/10.1006/inco.1998.2786Get rights and content
Under an Elsevier user license
open archive

Abstract

A notion of derivation tree is introduced for ground term rewriting systems. Using standard tree language theory, new proofs are given for some old results.

Cited by (0)