Geodesic
Algorithmic algebras of computers
Czechoslovak Mathematical Journal, Tome 23 (1973) no. 4, pp. 670-689
Cet article a éte moissonné depuis la source Czech Digital Mathematics Library

Voir la notice de l'article

DOI : 10.21136/CMJ.1973.101207
Classification : 68A05 
@article{10_21136_CMJ_1973_101207,
     author = {\v{C}ul{\'\i}k, Karel},
     title = {Algorithmic algebras of computers},
     journal = {Czechoslovak Mathematical Journal},
     pages = {670--689},
     year = {1973},
     volume = {23},
     number = {4},
     doi = {10.21136/CMJ.1973.101207},
     mrnumber = {0356562},
     zbl = {0285.68029},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.21136/CMJ.1973.101207/}
}
TY  - JOUR
AU  - Čulík, Karel
TI  - Algorithmic algebras of computers
JO  - Czechoslovak Mathematical Journal
PY  - 1973
SP  - 670
EP  - 689
VL  - 23
IS  - 4
UR  - http://geodesic.mathdoc.fr/articles/10.21136/CMJ.1973.101207/
DO  - 10.21136/CMJ.1973.101207
LA  - en
ID  - 10_21136_CMJ_1973_101207
ER  - 
%0 Journal Article
%A Čulík, Karel
%T Algorithmic algebras of computers
%J Czechoslovak Mathematical Journal
%D 1973
%P 670-689
%V 23
%N 4
%U http://geodesic.mathdoc.fr/articles/10.21136/CMJ.1973.101207/
%R 10.21136/CMJ.1973.101207
%G en
%F 10_21136_CMJ_1973_101207
Čulík, Karel. Algorithmic algebras of computers. Czechoslovak Mathematical Journal, Tome 23 (1973) no. 4, pp. 670-689. doi: 10.21136/CMJ.1973.101207

[1] Blikle A.: Automata and Grammars. (Polish), Państwowe Wydawnictwo Naukove, Warsaw 1971.

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

[3] Čulík K., Arbib M. A.: Sequential and jumping machines and their relation to computers. (in print in Acta Informatica).

[4] Čulík K.: Theory of algorithms and programming languages. (Czech), Textbook for the Czech Institute of Technology (not published), Prague 1970.

[5] Čulík K.: Classifications of programming theories and language. (in print in Information Processing Machines).

[6] Čulík K.: Algorithmization of algebras and relational structures. Comentationes Mathematicae Universitatis Carolinae 13, 3 (1972), 457-477. | MR

[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

[8] Čulík K.: A note on complexity of algorithmic nets without cycles. Apl. Math. 16 (1971), 297-301. | MR

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

[10] Engeler E.: Algorithmic Approximations. Jour. Comp. and Syste. Sciences 5 (1971), 67-82. | DOI | MR | Zbl

[11] Luckham D. C D. M. R. Park M. S. Paterson: On formalized computer programs. Jour. Comp. and Syste. Sciences 4 (1970), 220-249. | DOI | MR

[12] Milner R.: Equivalences on Program Schemes. Jour. Comp. and Syste. Sciences 4 (1970), 205-219. | DOI | MR | Zbl

[13] Nagata I.: On compiling for arithmetic expressions. Comm. ACM 10 (1967), 492-494. | DOI

[14] Pawlak Z.: On the notion of a computer. Logic. Math. and Phil. Sci. 3 (1968), 255 - 267. | MR | Zbl

[15] Redziejowski R. R.: On arithmetic expressions and trees. Comm. ACM 12 (1969), 81 - 84. | DOI | MR | Zbl

[16] Sethi R., J. D. Ullman: The generation of optimal code for arithmetic expressions. Jour. ACM 17(1970), 715-728. | DOI | MR | Zbl

[17] Wijngaarden A. van (editor): ALGOL 68. Math. Centrum, Amsterdam 1968.

Cité par Sources :