Context-free like restrictions on selective rewriting
Under an Elsevier user license
open archive
Cited by (0)
- ∗
The second author gratefully acknowledges the financial support of NSF grant number MCS 79-03838. Both authors are indebted to A. Ehrenfeucht for useful discussions concerning the topic of this paper and to R. Verraedt for useful comments on the first draft of this paper.
Copyright © 1981 Published by Elsevier B.V.