| Title:
|
A note on the structure of certain predicates concerning the sublanguages of ALGOL 60 (English) |
| Title:
|
Poznámka k struktuře určitých predikátů v podjazycích ALGOLu 60 (Czech) |
| Author:
|
Kopřiva, Jiří |
| Language:
|
English |
| Journal:
|
Kybernetika |
| ISSN:
|
0023-5954 |
| Volume:
|
1 |
| Issue:
|
2 |
| Year:
|
1965 |
| Pages:
|
(122)-126 |
| Summary lang:
|
Czech |
| . |
| Category:
|
math |
| . |
| MSC:
|
68.00 |
| MSC:
|
94.50 |
| idZBL:
|
Zbl 0173.19107 |
| idMR:
|
MR0189943 |
| . |
| Date available:
|
2009-09-24T15:34:02Z |
| Last updated:
|
2012-06-04 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/125213 |
| . |
| Reference:
|
[ 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. |
| Reference:
|
[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 0152157 |
| Reference:
|
[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 0167405 |
| Reference:
|
[4] J. W. Backus, al.: Revised Report on the algorithmic language ALGOL 60.Numerische Mathematik 4 (1963), 420-453. Zbl 0109.35105, MR 0154442 |
| Reference:
|
[5] J. Kopřiva: Some notes on the formal structure of ALGOL 60.To appear in Publications of the University in Brno. MR 0197229 |
| . |
