RUS
ENG
Full version
JOURNALS
// Doklady Akademii Nauk
// Archive
Dokl. Akad. Nauk SSSR,
1984
Volume 277,
Number 1,
Pages
51–53
(Mi dan9573)
MATHEMATICS
The expressive power of indeterminism in program logics
A. P. Stolboushkin
Kirov Kazakh State University, Alma-Ata
UDC:
519.49
Presented:
A. D. Aleksandrov
Received: 02.08.1983
Fulltext:
PDF file (484 kB)
Bibliographic databases:
©
Steklov Math. Inst. of RAS
, 2025
Fulltext:
PDF file (484 kB)