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.
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.

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