Havranek, Tomas The computation of characteristic vectors of logical-probabilistic expressions. (English) Zbl 0281.02018 Kybernetika, Praha 10, 80-94 (1974). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page MSC: 03B05 Classical propositional logic 94C10 Switching theory, application of Boolean algebra; Boolean functions (MSC2010) 68Q45 Formal languages and automata PDF BibTeX XML Cite \textit{T. Havranek}, Kybernetika 10, 80--94 (1974; Zbl 0281.02018) Full Text: EuDML References: [1] A. W. Burks J. B. Wright: Theory of logical nets. Proc. of I.R.E., 41 (1953), 10, 1357-1365. · Zbl 0148.25305 [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. [3] N. E. Kobrinskij B. A. Trachtenbrot: Introduction to the theory of finite automata. North-Holland, Amsterdam 1965. · Zbl 0128.01401 [4] T. Havránek: The application of logical-probabilistic expressions to the realization of probabilistic automata. To appear in Kybernetika. · Zbl 0216.24103 This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.