Geodesic
A note on the structure of certain predicates concerning the sublanguages of ALGOL 60
Kybernetika, Tome 1 (1965) no. 2, pp. 122-126 Cet article a éte moissonné depuis la source Czech Digital Mathematics Library

Voir la notice de l'article

Classification : 68.00, 94.50 
@article{KYB_1965_1_2_a1,
     author = {Kop\v{r}iva, Ji\v{r}{\'\i}},
     title = {A note on the structure of certain predicates concerning the sublanguages of {ALGOL} 60},
     journal = {Kybernetika},
     pages = {122--126},
     year = {1965},
     volume = {1},
     number = {2},
     mrnumber = {0189943},
     zbl = {0173.19107},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/KYB_1965_1_2_a1/}
}
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
SP  - 122
EP  - 126
VL  - 1
IS  - 2
UR  - http://geodesic.mathdoc.fr/item/KYB_1965_1_2_a1/
LA  - en
ID  - KYB_1965_1_2_a1
ER  - 
%0 Journal Article
%A Kopřiva, Jiří
%T A note on the structure of certain predicates concerning the sublanguages of ALGOL 60
%J Kybernetika
%D 1965
%P 122-126
%V 1
%N 2
%U http://geodesic.mathdoc.fr/item/KYB_1965_1_2_a1/
%G en
%F KYB_1965_1_2_a1
Kopřiva, Jiří. A note on the structure of certain predicates concerning the sublanguages of ALGOL 60. Kybernetika, Tome 1 (1965) no. 2, pp. 122-126. http://geodesic.mathdoc.fr/item/KYB_1965_1_2_a1/

[ 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. | MR

[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. | MR

[4] J. W. Backus, al.: Revised Report on the algorithmic language ALGOL 60. Numerische Mathematik 4 (1963), 420-453. | MR | Zbl

[5] J. Kopřiva: Some notes on the formal structure of ALGOL 60. To appear in Publications of the University in Brno. | MR