Algorithmization of algebras and relational structures

Karel Čulík

Commentationes Mathematicae Universitatis Carolinae (1972)

  • Volume: 013, Issue: 3, page 457-477
  • ISSN: 0010-2628

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
  1. BURSTALL Rod. M., An algebraic description of programs with assertions, verification and simulation, SIGPLAN Notices Vol. 7, No. 1, Jan. 1972, 7-14. (1972) 
  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. (1970) MR0421123
  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). (1970) 

NotesEmbed ?

top

You must be logged in to post comments.