Relating Graph and Term Rewriting via Böhm Models

Zena M. Ariola. Relating Graph and Term Rewriting via Böhm Models. In Claude Kirchner, editor, Rewriting Techniques and Applications, 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993, Proceedings. Volume 690 of Lecture Notes in Computer Science, pages 183-197, Springer, 1993.

Abstract

Abstract is missing.