Voir la notice de l'article provenant de la source Czech Digital Mathematics Library
@article{CMUC_1989__30_1_a30, author = {\v{D}uri\v{s}, Pavol}, title = {Two new proof techniques for investigating the computational power of two-way computing devices {[Abstract} of thesis]}, journal = {Commentationes Mathematicae Universitatis Carolinae}, pages = {197--198}, publisher = {mathdoc}, volume = {30}, number = {1}, year = {1989}, zbl = {0682.68064}, language = {en}, url = {http://geodesic.mathdoc.fr/item/CMUC_1989__30_1_a30/} }
TY - JOUR AU - Ďuriš, Pavol TI - Two new proof techniques for investigating the computational power of two-way computing devices [Abstract of thesis] JO - Commentationes Mathematicae Universitatis Carolinae PY - 1989 SP - 197 EP - 198 VL - 30 IS - 1 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/CMUC_1989__30_1_a30/ LA - en ID - CMUC_1989__30_1_a30 ER -
%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
Ďuriš, Pavol. Two new proof techniques for investigating the computational power of two-way computing devices [Abstract of thesis]. Commentationes Mathematicae Universitatis Carolinae, Tome 30 (1989) no. 1, pp. 197-198. http://geodesic.mathdoc.fr/item/CMUC_1989__30_1_a30/