Bruggink, Sander:
Residuals in Higher-Order Rewriting
Utrecht: Utrecht University, 2003
(Technical Report ; 221)
Buch / Fach: Informatik
Titel:
Residuals in Higher-Order Rewriting
Autor(in):
Bruggink, Sander im Online-Personal- und -Vorlesungsverzeichnis LSF anzeigen
Erscheinungsort
Utrecht
Verlag
Utrecht University
Erscheinungsjahr
2003
In Serie:
Technical Report, Band 221
Umfang
24
WWW URL

Abstract:

Residuals have been studied for various forms of rewriting and residual systems have been defined to capture residuals in an abstract setting. In this paper we study residuals in orthogonal Pattern Rewriting Systems, a form of higher-order rewriting.