Journal: Kybernetika

Volume 9, Issue 3

159 -- 161Jaroslav Král. A note on grammars with regular restrictions
162 -- 173Ivan Kramosil. A method for random sampling of formulas of an elementary theory and statistical estimation of their deducibility equipped by a program. II. A method for statistical testing of an at random sampled formula
174 -- 186Igor Vajda, Petr Nedoma. A comparison of three optimality criteria for observation channels
187 -- 205Petr Hájek. Automatic listing of important observational statements. I
206 -- 221Vladimír Kucera. Algebraic theory of discrete optimal control for single-variable systems. II. Open-loop control