PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Inverardi P., Nesi M. On dealing with divergent rewrite systems. Work partially supported by Progetto finalizzato sistemi informatici e calcolo parallelo. Internal note IEI-B4-06, 1992.
 
 
Abstract
(English)
In this paper a new approach to divergence in Knuth-Bendix completion is presented. Given a term rewriting system R, whose completion diverges, a strategy can be defined to simulate the application of the (infinite) rewrite rules derived from critical pairs, without attempting any completion. This is done by applying some of the rules in R also as expansion rules.
Subject


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional