Author: Ďuriš, Pavol
- : Two new proof techniques for investigating the computational power of two-way computing devices [Abstract of thesis]. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 30 (1989), issue 1, pp. 197-198
- : Zerotesting bounded one-way multicounter machines. (English). Kybernetika, vol. 23 (1987), issue 1, pp. 13-18
Search
Partner of
