About DML-CZ | FAQ | Conditions of Use | Math Archives | Contact Us
  Previous |  Up |  Next

Article

First Page Preview
Havránek, Tomáš
The computation of characteristic vectors of logical-probabilistic expressions. (English). Kybernetika, vol. 10 (1974), issue 2, pp. (80)-94
MSC: 03B05, 68Q45, 94A35, 94C10 | MR 0347493 | Zbl 0281.02018
References:
[1] A. W. Burks J. B. Wright: Theory of logical nets. Proc. of I.R.E., 41 (1953), 10, 1357-1365. MR 0062651
[2] T. Havránek: A generalization of the propositional calculus for purposes of the theory of logical nets with probabilistic elements. Kybernetika 10 (1974), 1, 13-43. MR 0344030
[3] N. E. Kobrinskij B. A. Trachtenbrot: Introduction to the theory of finite automata. North-Holland, Amsterdam 1965. MR 0186454
[4] T. Havránek: The application of logical-probabilistic expressions to the realization of probabilistic automata. To appear in Kybernetika.
Partner of
EuDML logo