02F15
- : Closedness properties and decision problems for finite multi-tape automata. (English). Kybernetika, vol. 12 (1976), issue 2, pp. (61)-75
- : The observational predicate calculus and complexity of computations (Preliminary communication). (English). Commentationes Mathematicae Universitatis Carolinae, vol. 16 (1975), issue 2, pp. 395-398
Search
Partner of
