A note on the structure of certain predicates concerning the sublanguages of ALGOL 60
Kybernetika (1965)
- Volume: 01, Issue: 2, page (122)-126
- ISSN: 0023-5954
Access Full Article
topHow to cite
topKopřiva, Jiří. "A note on the structure of certain predicates concerning the sublanguages of ALGOL 60." Kybernetika 01.2 (1965): (122)-126. <http://eudml.org/doc/28368>.
@article{Kopřiva1965,
author = {Kopřiva, Jiří},
journal = {Kybernetika},
keywords = {numerical analysis},
language = {eng},
number = {2},
pages = {(122)-126},
publisher = {Institute of Information Theory and Automation AS CR},
title = {A note on the structure of certain predicates concerning the sublanguages of ALGOL 60},
url = {http://eudml.org/doc/28368},
volume = {01},
year = {1965},
}
TY - JOUR
AU - Kopřiva, Jiří
TI - A note on the structure of certain predicates concerning the sublanguages of ALGOL 60
JO - Kybernetika
PY - 1965
PB - Institute of Information Theory and Automation AS CR
VL - 01
IS - 2
SP - (122)
EP - 126
LA - eng
KW - numerical analysis
UR - http://eudml.org/doc/28368
ER -
References
top- 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. (1962)
- R. Péter, Primitiv-rekursive Wortbeziehungen in der Programmierungssprache „ALGOL 60", Magyar Tud. Akad. Mat. Kutató Int. Közl. 6 (1961), 137-144. (1961) MR0152157
- 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. MR0167405
- J. W. Backus, al., Revised Report on the algorithmic language ALGOL 60, Numerische Mathematik 4 (1963), 420-453. (1963) Zbl0109.35105MR0154442
- J. Kopřiva, Some notes on the formal structure of ALGOL 60, To appear in Publications of the University in Brno. MR0197229
Citations in EuDML Documents
topNotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.