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 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/CMUC_1972__13_3_a5/ LA - en ID - CMUC_1972__13_3_a5 ER -