zbMATH — the first resource for mathematics

A note on the structure of certain predicates concerning the sublanguages of ALGOL 60. (English) Zbl 0173.19107

Full Text: EuDML
[1] K. Čulík: Formal structure of ALGOL and simplification of its description. Symbolic languages in data processing (Roma 1962). Gordon-Breach, New York 1963, 75-82.
[2] R. Péter: Primitiv-rekursive Wortbeziehungen in der Programmierungssprache ”ALGOL 60”. Magyar Tud. Akad. Mat. Kutató Int. Közl. 6 (1961), 137-144. · Zbl 0109.35203
[3] R. Péter: Über die Rekursivität der Begriffe der mathematischen Grammatiken. To appear in Publications of the Math. Inst. of the Hungarian Acad. of Sciences. · Zbl 0119.36101
[4] J. W. Backus, al.: Revised Report on the algorithmic language ALGOL 60. Numerische Mathematik 4 (1963), 420-453. · Zbl 0109.35105 · eudml:131549
[5] J. Kopřiva: Some notes on the formal structure of ALGOL 60. To appear in Publications of the University in Brno.
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.