%0 Journal Article %A Ďuriš, Pavol %T Two new proof techniques for investigating the computational power of two-way computing devices [Abstract of thesis] %J Commentationes Mathematicae Universitatis Carolinae %D 1989 %P 197-198 %V 30 %N 1 %I mathdoc %U http://geodesic.mathdoc.fr/item/CMUC_1989__30_1_a30/ %G en %F CMUC_1989__30_1_a30