Article
Full entry |
PDF
(0.8 MB)
Feedback
PDF
(0.8 MB)
Feedback
References:
[1] A. Blikle A. Mazurkiewicz: An Algebraic Approach to the Theory of Programs, Algorithms, Languages and Recursiveness. Proc. Symp. on Math. Foundю of Computer Sci., Jablonna 1972.
[2] K. Čulí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] K. Čulík M. A. Arbib: Sequential and Jumping Machines and their Relation to Computers. Acta Informatica 2 (1973), 162-171. MR 0329789
[4] K. Čulík: Algorithmic Algebras of Computers. Czechoslovak Math. Journal 23 (1973), 670-689. MR 0356562
[5] K. Čulík: Some Notes on Logical Analysis of Programming Languages. Teorie a metoda 3 (1971), 101-111.
[6] Ю. И. Янов: О логических схемах алгоритмов. Проблемы кибернетики 1 (1958), 75 - 127. MR 0135690 | Zbl 0995.62501
[7] J. Mareš: Programmed Automata. (In Czech.) CSc. - thesis, Prague 1973 (not published).
[8] R. Milner: Equivalences on Program Schemes. Jour. Comp. and Syst. Sciences 4 (1970), 205-219. MR 0276097 | Zbl 0209.18705
[9] Z. Pawlak: Stored Program Computers. (In Polish.) Algorytmy Vol. 5, No. 10 (1969), 5-19. MR 0255104
[10] H. Rossner: Formalization of the Notion of the Program. (In Polish.) Algorytmy Vol. 5, No. 10 (1969), 25-43. MR 0255106
Search
Partner of
