Preview
Unable to display preview. Download preview PDF.
References
G.E.Mints and E.Kh.Tyugu, Third Conf. Application of the methods of mathematical logic, Tallinn, 1983, pp. 52–60. (Russian)
I.O.Babaev, S.S.Lavrov et al., Third Conf. Application of the methods of mathematical logic, Tallinn, 1983, pp. 29–41. (Russian)
A.Ja.Dikovskii, Third Conf. Application of the methods of mathematical logic, Tallinn, 1983, pp. 42–51. (Russian)
A.Ja.Dikovskii and M.I.Kanovich, Izvestia AN SSSR, Technical cybernetics, Moscow, 1985, N 5, pp. 36–59. (Russian)
M.I.Kanovich, Izvestia AN SSSR, Technical cybernetics, Moscow, 1988, N 2, pp. 82–93. (Russian)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1989 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kanovich, M.I. (1989). What is the logic of computational tasks?. In: Meyer, A.R., Taitslin, M.A. (eds) Logic at Botik '89. Logic at Botik 1989. Lecture Notes in Computer Science, vol 363. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-51237-3_15
Download citation
DOI: https://doi.org/10.1007/3-540-51237-3_15
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-51237-0
Online ISBN: 978-3-540-46180-7
eBook Packages: Springer Book Archive