| Title:
|
Algorithmic algebras of computers (English) |
| Author:
|
Čulík, Karel |
| Language:
|
English |
| Journal:
|
Czechoslovak Mathematical Journal |
| ISSN:
|
0011-4642 (print) |
| ISSN:
|
1572-9141 (online) |
| Volume:
|
23 |
| Issue:
|
4 |
| Year:
|
1973 |
| Pages:
|
670-689 |
| Summary lang:
|
English |
| . |
| Category:
|
math |
| . |
| MSC:
|
68A05 |
| idZBL:
|
Zbl 0285.68029 |
| idMR:
|
MR0356562 |
| DOI:
|
10.21136/CMJ.1973.101207 |
| . |
| Date available:
|
2008-06-09T14:04:40Z |
| Last updated:
|
2020-07-28 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/101207 |
| . |
| Reference:
|
[1] Blikle A.: Automata and Grammars.(Polish), Państwowe Wydawnictwo Naukove, Warsaw 1971. |
| Reference:
|
[2] Čulík K.: On sequential and non-sequential machines and their relation to the computation in computers.(mimeographed in IFIP WG 2.2 Bulletin, No. 6, February 1970). |
| Reference:
|
[3] Čulík K., Arbib M. A.: Sequential and jumping machines and their relation to computers.(in print in Acta Informatica). |
| Reference:
|
[4] Čulík K.: Theory of algorithms and programming languages.(Czech), Textbook for the Czech Institute of Technology (not published), Prague 1970. |
| Reference:
|
[5] Čulík K.: Classifications of programming theories and language.(in print in Information Processing Machines). |
| Reference:
|
[6] Čulík K.: Algorithmization of algebras and relational structures.Comentationes Mathematicae Universitatis Carolinae 13, 3 (1972), 457-477. MR 0317574 |
| Reference:
|
[7] Čulík K.: Combinatorial problems in theory of complexity of algorithmic nets without cycles for simple computers.Apl. Math. 16 (1971), 188 - 202. MR 0309358 |
| Reference:
|
[8] Čulík K.: A note on complexity of algorithmic nets without cycles.Apl. Math. 16 (1971), 297-301. MR 0309359 |
| Reference:
|
[9] Čulík K.: Optimalization of special programs with respect to the economy of storage.(Czech), Proceedings of Conference of the Czech Institute of Technology, Prague 1971, 1-10. |
| Reference:
|
[10] Engeler E.: Algorithmic Approximations.Jour. Comp. and Syste. Sciences 5 (1971), 67-82. Zbl 0238.68016, MR 0293874, 10.1016/S0022-0000(71)80008-9 |
| Reference:
|
[11] Luckham D. C D. M. R. Park M. S. Paterson: On formalized computer programs.Jour. Comp. and Syste. Sciences 4 (1970), 220-249. MR 0275717, 10.1016/S0022-0000(70)80022-8 |
| Reference:
|
[12] Milner R.: Equivalences on Program Schemes.Jour. Comp. and Syste. Sciences 4 (1970), 205-219. Zbl 0209.18705, MR 0276097, 10.1016/S0022-0000(70)80021-6 |
| Reference:
|
[13] Nagata I.: On compiling for arithmetic expressions.Comm. ACM 10 (1967), 492-494. 10.1145/363534.363549 |
| Reference:
|
[14] Pawlak Z.: On the notion of a computer.Logic. Math. and Phil. Sci. 3 (1968), 255 - 267. Zbl 0184.02603, MR 0245444 |
| Reference:
|
[15] Redziejowski R. R.: On arithmetic expressions and trees.Comm. ACM 12 (1969), 81 - 84. Zbl 0167.45804, MR 0343685, 10.1145/362848.362859 |
| Reference:
|
[16] Sethi R., J. D. Ullman: The generation of optimal code for arithmetic expressions.Jour. ACM 17(1970), 715-728. Zbl 0212.18802, MR 0275722, 10.1145/321607.321620 |
| Reference:
|
[17] Wijngaarden A. van (editor): ALGOL 68.Math. Centrum, Amsterdam 1968. |
| . |
