Literature Cited
G. E. Tseitlin, “Problem of identity transformations of schemes of structured programs with closed logical conditions. I,” Kibernetika, No. 3 (1978).
G. M. Kirsanov and G. E. Tseitlin, “On the automation of formal transformations in a system of algorithmic algebras,” in: Aspects of the Teaching of Programming Languages [in Russian], Inst. Kibernetiki Akad. Nauk UkrSSR, Kiev (1974).
G. M. Kirsanov, G. E. Tseitlin, and E. L. Yushchenko, “On the automation of deductive inference in a system of algorithmic algebras,” in: Languages of Systems Programming and Methods for Realizing Them [in Russian], Inst. Kibernetiki Akad. Nauk UkrSSR, Kiev-Alushta (1974).
Additional information
The first part of the article was published in [1].
Translated from Kibernetika, No. 4, pp. 10–18, July–August, 1978.
Rights and permissions
About this article
Cite this article
Tseitlin, G.E. Problem of identity transformations of schemes of structured programs with closed logical conditions. II. Cybern Syst Anal 14, 493–502 (1978). https://doi.org/10.1007/BF01069827
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01069827