Two new proof techniques for investigating the computational power of two-way computing devices [Abstract of thesis] Pavol Ďuriš — 1989 Commentationes Mathematicae Universitatis Carolinae