This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Banachowski, L., Extended algorithmic logic and properties of programs, Bull.Acad.Pol.Sci.,Ser.Math.Astr.Phys. 23 1975, 325–330
Kreczmar,A., Programmability in fields, to appear in Fundamenta Informaticae
Mirkowska, G.,On formalized systems of algorithmic logic. Bull. Acad.Pol.Sci.,Ser.Math.Astr.Phys. 21 1971, 421–428
Mirkowska,G.,Salwicki,A.,Algorithmic properties of block structured programs with procedures, to appear in Fundamenta Informaticae
Müldner,T.,Salwicki,A.,Semantics of block-structured programs this volume
Rasiowa, H.,Sikorski, R.,Mathematics of metamathematics,PWN, Warszawa,1963
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1976 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mirkowska, G., Salwicki, A. (1976). A complete axiomatic characterization of algorithmic properties of block-structured programs with procedures. 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_234
Download citation
DOI: https://doi.org/10.1007/3-540-07854-1_234
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