Istituto di Scienza e Tecnologie dell'Informazione     
Inverardi P., Nesi M. A strategy to deal with divergent rewrite systems. In: CTRS-92 - 3rd International Workshop on Conditional Term Rewriting Systems. (Pont--Mousson, France, July 8-10 1992). Proceedings, vol. Conditional Term Rewriting Systems pp. 458 - 467. Michael Rusinowitch, Jean-Luc Remy (eds.). (Lecture notes in computer science, vol. 656). Springer, 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 applicalion of the (infinitely many) 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