RUS
ENG
Full version
JOURNALS
// Doklady Akademii Nauk
// Archive
Dokl. Akad. Nauk SSSR,
1984
Volume 274,
Number 4,
Pages
777–778
(Mi dan9790)
This article is cited in
2
papers
MATHEMATICS
The nature of the incompleteness of the Hoare system
S. A. Abramov
Computing Centre, USSR Academy of Sciences, Moscow
UDC:
519.681
Presented:
A. A. Dorodnitsyn
Received: 13.04.1983
Fulltext:
PDF file (322 kB)
Cited by
Bibliographic databases:
©
Steklov Math. Inst. of RAS
, 2026
Fulltext:
PDF file (322 kB)