TERMINATION OF TERM REWRITING BY SEMANTIC LABELLING
- 1 January 1995
- journal article
- Published by SAGE Publications in Fundamenta Informaticae
- Vol. 24 (1,2) , 89-105
- https://doi.org/10.3233/fi-1995-24124
Abstract
A new kind of transformation of term rewriting systems (TRS) is proposed, depending on a choice for a model for the TRS. The labelled TRS is obtained from the original one by labelling operation symbols, possibly creating extra copies of some rules.This publication has 0 references indexed in Scilit: