Algorithmization of algebras and relational structures
Commentationes Mathematicae Universitatis Carolinae (1972)
- Volume: 013, Issue: 3, page 457-477
- ISSN: 0010-2628
Access Full Article
top
How to cite
topČulík, Karel. "Algorithmization of algebras and relational structures." Commentationes Mathematicae Universitatis Carolinae 013.3 (1972): 457-477. <http://eudml.org/doc/16511>.
@article{Čulík1972,
author = {Čulík, Karel},
journal = {Commentationes Mathematicae Universitatis Carolinae},
language = {eng},
number = {3},
pages = {457-477},
publisher = {Charles University in Prague, Faculty of Mathematics and Physics},
title = {Algorithmization of algebras and relational structures},
url = {http://eudml.org/doc/16511},
volume = {013},
year = {1972},
}
TY - JOUR
AU - Čulík, Karel
TI - Algorithmization of algebras and relational structures
JO - Commentationes Mathematicae Universitatis Carolinae
PY - 1972
PB - Charles University in Prague, Faculty of Mathematics and Physics
VL - 013
IS - 3
SP - 457
EP - 477
LA - eng
UR - http://eudml.org/doc/16511
ER -
References
top- 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) MR0421123
- Č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)
Citations in EuDML Documents
topNotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.