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 (Eds.). - Berlin: Springer, 2003, pp. 123 - 137
2003book article/chapter in collection
Computer Science
Title:
Residuals in Higher-Order Rewriting
Author:
Bruggink, SanderUDE
LSF ID
47885
Other
connected with university
WWW URL:
http://www.ti.inf.uni-due.de/publications/bruggink/rta03.pdf
Appears in
Proceedings of the 14th International Conference Rewriting Techniques and Applications, RTA 2003. - (Lecture Notes in Computer Science ; 2706)
Editor:
Nieuwenhuis, Robert
Place of publication:
Berlin
Publisher:
Springer
Year of publication:
2003
in:
pp. 123 - 137
ISBN
978-3-540-40254-1

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.