Bruggink, Sander:
Residuals in Higher-Order Rewriting
In: Proceedings of the 14th International Conference Rewriting Techniques and Applications, RTA 2003. - (Lecture Notes in Computer Science ; 2706) / Nieuwenhuis, Robert (Hrsg.). - Berlin: Springer, 2003, S. 123 - 137
Buchaufsatz/Kapitel in Sammelwerk2003Informatik
Titel:
Residuals in Higher-Order Rewriting
Autor(in):
Bruggink, SanderLSF
Erscheinungsjahr
2003
WWW URL
Erschienen in:
Titel:
Proceedings of the 14th International Conference Rewriting Techniques and Applications, RTA 2003. - (Lecture Notes in Computer Science ; 2706)
Herausgeber(in):
Nieuwenhuis, Robert
Erscheinungsort
Berlin
Verlag
Springer
Erscheinungsjahr
2003
in:
S. 123 - 137
ISBN:

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.