68A05
- : The epis of ${\rm Pos} (Z)$. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 23 (1982), issue 2, pp. 285-299
- : Algorithmic algebras of computers. (English). Czechoslovak Mathematical Journal, vol. 23 (1973), issue 4, pp. 670-689
- : Syntactical definitions of program and flow diagram. (English). Aplikace matematiky, vol. 18 (1973), issue 4, pp. 280-301
- : Algorithmization of algebras and relational structures. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 13 (1972), issue 3, pp. 457-477
- : The GUHA method and the three-valued logic. (English). Kybernetika, vol. 7 (1971), issue 6, pp. (421)-435
Search
Partner of
