On Equivalence of Programs

Jacek Leszczylowski. On Equivalence of Programs. In Andrzej Blikle, editor, Mathematical Foundations of Computer Science, 3rd Symposium at Jadwisin near Warsaw, June 17-22, 1974, Proceedings. Volume 28 of Lecture Notes in Computer Science, pages 377-380, Springer, 1974.

Authors

Jacek Leszczylowski

This author has not been identified. Look up 'Jacek Leszczylowski' in Google