Equivalence and Optimization of Recursive Program Schemata

Zbigniew Zwinogrodzki. Equivalence and Optimization of Recursive Program Schemata. In Antoni W. Mazurkiewicz, editor, Mathematical Foundations of Computer Science 1976, 5th Symposium, Gdansk, Poland, September 6-10, 1976, Proceedings. Volume 45 of Lecture Notes in Computer Science, pages 569-575, Springer, 1976.

Abstract

Abstract is missing.