Preview
Unable to display preview. Download preview PDF.
References
LESZCZYĆOWSKI, J. Mathematical models of programs with dynamic allocation of variables. Math. Found. Comp. Sci. III (Proc. Symp. Warsaw Jadwisin 1974) Springer-Verlag, Lectures Notes inComputer Science (this volume), Heidelberg
MAZURKIEWICZ, A. Proving properties of processes. CC PAS Reports 134 (1974)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1975 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
LeszczyĆowski, J. (1975). On equivalence of programs. In: Blikle, A. (eds) Mathematical Foundations of Computer Science. MFCS 1974. Lecture Notes in Computer Science, vol 28. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-07162-8_698
Download citation
DOI: https://doi.org/10.1007/3-540-07162-8_698
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-07162-4
Online ISBN: 978-3-540-37492-3
eBook Packages: Springer Book Archive