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.

Authors

Zurab Khasidashvili

This author has not been identified. Look up 'Zurab Khasidashvili' in Google