Bottom-up rewriting for words and terms

Irene Durand, Geraud Senizergues

For the whole class of linear term rewriting systems, we define \emph{bottom-up rewriting} which is a restriction of the usual notion of rewriting. We show that bottom-up rewriting…