On the Equivalence of Persistent Term Rewriting Systems and Recursive Program Schemes.

Zurab Khasidashvili

Published in: ISTCS (1993)

Keyphrases

term rewriting systems
functional programs
logic programs
recursive programs
datalog programs
test cases
computer programs
program synthesis