Cannonizing Reducibility Method in the Theory of Program Schemata

A. O. Buda. Cannonizing Reducibility Method in the Theory of 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 216-223, Springer, 1976.

Abstract

Abstract is missing.