Preview
Unable to display preview. Download preview PDF.
References
PodlovĨenko, R.I. Hierarchy of programs models(Russian). Programmirovanie(Moskwa), 1981, no.2, 3ā€“14.
PodlovĨenko, R.I. Semigroup models of programs(Russian). Programmirovanie(Moskwa), 1981, no.4, 3ā€“13.
PodlovĨenko, R.I. Investigations of programs s-models aimed to construct canonization's algorithms(Russian). Programmirovanie(Moskwa), 1986, no.2, 3ā€“13.
PodlovĨenko, R.I. Programs modeling by schemas and construction of complete systems of schemas transformations(Russian). Doct. dissertation(Yerevan), 1985.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
Ā© 1987 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
PodlovĨenko, R.I. (1987). On approximate solution of the problem of equivalent transformations of programs. In: Budach, L., Bukharajev, R.G., Lupanov, O.B. (eds) Fundamentals of Computation Theory. FCT 1987. Lecture Notes in Computer Science, vol 278. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-18740-5_78
Download citation
DOI: https://doi.org/10.1007/3-540-18740-5_78
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-18740-0
Online ISBN: 978-3-540-48138-6
eBook Packages: Springer Book Archive