Literature Cited
D. B. Bui and A. V. Mavlyanov, “Mutual derivability of operations in program algebras I,” Kibernetika, No. 1, 35–39 (1988).
N. S. Nikitchenko, Semantic-Syntactic Structure of Programs, Abstract of Thesis [in Russian], Kiev (1980).
N. S. Nikitchenko, “Composition semantics of programming languages,” Programmirovanie, No. 6, 9–18 (1982).
A. Aho, J. Hopcroft, and J. Ullman, The Design and Analysis of Computer Algorithms, Addison-Wesley, MA (1974).
K. Kuratowski and A. Mostowski, Set Theory, North Holland, New York (1968).
Additional information
For previous communication, see Kibernetika, No. 1, 1988.
Translated from Kibernetika, No. 6, pp. 1–6, November–December, 1988.
Rights and permissions
About this article
Cite this article
Bui, D.B., Mavlyanov, A.V. Mutual derivability of operations in program algebras. II. Cybern Syst Anal 24, 681–687 (1988). https://doi.org/10.1007/BF01079139
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01079139