Preview
Unable to display preview. Download preview PDF.
References
Barwise J. Admissible sets and structures, B., Springer-Verlag, 1975.
Ershov Yu.L. The principle of Σ-enumeration, Doklady AN SSSR, 1983, v.270, No 5, p. 786–788.
Ershov Yu.L. The dynamic logic over admissible sets, Doklady AN SSSR, 1983, v.273, No 5, p. 1045–1048.
Goncharov S.S., Sviridenko D.I. Σ-programming. In: Vychislitel'nye sistemy, vyp.107, Novosibirsk, 1985.
Editor information
Rights and permissions
Copyright information
© 1986 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Goncharov, S.S., Sviridenko, D.I. (1986). Theoretical aspects of Σ-programming. In: Bibel, W., Jantke, K.P. (eds) Mathematical Methods of Specification and Synthesis of Software Systems '85. MMSSS 1985. Lecture Notes in Computer Science, vol 215. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-16444-8_13
Download citation
DOI: https://doi.org/10.1007/3-540-16444-8_13
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-16444-9
Online ISBN: 978-3-540-39784-7
eBook Packages: Springer Book Archive