Algorithmization of algebras and relational structures
Čulík, Karel
Commentationes Mathematicae Universitatis Carolinae, Tome 013 (1972), p. 457-477 / Harvested from Czech Digital Mathematics Library
Access to full text
Full (PDF)
Publié le : 1972-01-01
Classification:  02E10,  03D20,  08A05,  68A05,  68A10,  68A20,  68N01,  68W99 
@article{105434,
     author = {Karel \v Cul\'\i k},
     title = {Algorithmization of algebras and relational structures},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     volume = {013},
     year = {1972},
     pages = {457-477},
     zbl = {0257.02023},
     mrnumber = {0317574},
     language = {en},
     url = {http://dml.mathdoc.fr/item/105434}
}

Čulík, Karel. Algorithmization of algebras and relational structures. Commentationes Mathematicae Universitatis Carolinae, Tome 013 (1972) pp. 457-477. http://gdmltest.u-ga.fr/item/105434/

Burstall Rod. M. An algebraic description of programs with assertions, verification and simulation, SIGPLAN Notices Vol. 7, No. 1, Jan. 1972, 7-14. (1972)

Č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. (1970) | MR 0421123

Č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). (1970)