On the Descriptive Power of Term Rewriting Systems.

Jürgen Avenhaus

Published in: J. Symb. Comput. (1986)

Keyphrases

term rewriting systems
logic programs
power consumption
functional programs
data streams
logic programming