Preview
Unable to display preview. Download preview PDF.
References
Naur, P /ed./ Revised Report on the Algorithmic Language ALGOL 60 Comm. ACM 6,1 /Jan. 1963/, pp.1–17.
Mirkowska, G; Salwicki, A. A complete axiomatic characterization of algonithmic properties of block-structure programs with /recursive/ procedures — the same volume.
Müldner, T; Salwicki,A. Computational processes generated by programs with /recursive/ procedures and block structures — to appear in Fund. Informaticae.
Rasiowa,H; Sikorski, R. Mathematics of metamathematics — Warsaw /1963/.
Salwicki,A. Programmability and Recursiveness /an application of algorithmic logic to procedures/ — to appear in Dissertationes Mathematicae.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1976 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Salwicki, A., Müldner, T. (1976). Computational processes generated by programs with /recursive/ procedures and block structures. In: Mazurkiewicz, A. (eds) Mathematical Foundations of Computer Science 1976. MFCS 1976. Lecture Notes in Computer Science, vol 45. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-07854-1_221
Download citation
DOI: https://doi.org/10.1007/3-540-07854-1_221
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-07854-8
Online ISBN: 978-3-540-38169-3
eBook Packages: Springer Book Archive