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

Zurab Khasidashvili. On the Equivalence of Persistent Term Rewriting Systems and Recursive Program Schemes. In ISTCS. pages 240-249, 1993.

No reviews for this publication, yet.