About DML-CZ | FAQ | Conditions of Use | Math Archives | Contact Us
  Previous |  Up |  Next

Article

First Page Preview
Čulík, Karel
Algorithmization of algebras and relational structures. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 13 (1972), issue 3, pp. 457-477
MSC: 02E10, 03D20, 08A05, 68A05, 68A10, 68A20, 68N01, 68W99 | MR 0317574 | Zbl 0257.02023
References:
[1] BURSTALL Rod. M.: An algebraic description of programs with assertions, verification and simulation. SIGPLAN Notices Vol. 7, No. 1, Jan. 1972, 7-14.
[2] ČULÍK K.: On semantics of programming languages, Automatentheorie und Formale Sprachen. editors J. Dörr - G. Hotz, Bibliographisches Institut, Mannheim - Wien - Zürich 1970, 291-303. MR 0421123
[3] Č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).
Partner of
EuDML logo