In this paper we will consider some extensions of the usual term rewrite format, namely: term rewriting with conditions, infinitary term rewriting and term rewriting with bound variables. Rather than aiming at a complete survey, we discuss some aspects of these three extensions.
CITATION STYLE
Klop, J. W., & de Vrijer, R. (1991). Extended term rewriting systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 516 LNCS, pp. 26–50). Springer Verlag. https://doi.org/10.1007/3-540-54317-1_79
Mendeley helps you to discover research relevant for your work.