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.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.