|
This article is cited in 2 scientific papers (total in 2 papers)
MATHEMATICS
The nature of the incompleteness of the Hoare system
S. A. Abramov Computing Centre, USSR Academy of Sciences, Moscow
Citation:
S. A. Abramov, “The nature of the incompleteness of the Hoare system”, Dokl. Akad. Nauk SSSR, 274:4 (1984), 777–778
Linking options:
https://www.mathnet.ru/eng/dan9790 https://www.mathnet.ru/eng/dan/v274/i4/p777
|
|