Geodesic
Algorithmization of algebras and relational structures
Commentationes Mathematicae Universitatis Carolinae, Tome 13 (1972) no. 3, pp. 457-477
Cet article a éte moissonné depuis la source Czech Digital Mathematics Library

Voir la notice de l'article

Classification : 02E10, 03D20, 08A05, 68A05, 68A10, 68A20, 68N01, 68W99 
@article{CMUC_1972_13_3_a5,
     author = {\v{C}ul{\'\i}k, Karel},
     title = {Algorithmization of algebras and relational structures},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     pages = {457--477},
     year = {1972},
     volume = {13},
     number = {3},
     mrnumber = {0317574},
     zbl = {0257.02023},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/CMUC_1972_13_3_a5/}
}
TY  - JOUR
AU  - Čulík, Karel
TI  - Algorithmization of algebras and relational structures
JO  - Commentationes Mathematicae Universitatis Carolinae
PY  - 1972
SP  - 457
EP  - 477
VL  - 13
IS  - 3
UR  - http://geodesic.mathdoc.fr/item/CMUC_1972_13_3_a5/
LA  - en
ID  - CMUC_1972_13_3_a5
ER  - 
%0 Journal Article
%A Čulík, Karel
%T Algorithmization of algebras and relational structures
%J Commentationes Mathematicae Universitatis Carolinae
%D 1972
%P 457-477
%V 13
%N 3
%U http://geodesic.mathdoc.fr/item/CMUC_1972_13_3_a5/
%G en
%F CMUC_1972_13_3_a5
Čulík, Karel. Algorithmization of algebras and relational structures. Commentationes Mathematicae Universitatis Carolinae, Tome 13 (1972) no. 3, pp. 457-477. http://geodesic.mathdoc.fr/item/CMUC_1972_13_3_a5/

[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

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