Term rewriting systems are a general model of computation.The normaliza-tion property of a reduction strategy for TRS's plays an important role in the application of TRS's,and overlapping rules and other types of ambiguities complicates reduction strate-gies greatly.This paper deals with these ambiguities in general and proposes art approach to a general class of problems involving ambiguities.
You are the firstVisitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address:4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code:100190
Phone:010-62562563 Fax:010-62562533 Email:jos@iscas.ac.cn
Technical Support:Beijing Qinyun Technology Development Co., Ltd.