RUS
ENG
Full version
JOURNALS
// Zhurnal Vychislitel'noi Matematiki i Matematicheskoi Fiziki
// Archive
Zh. Vychisl. Mat. Mat. Fiz.,
1988
Volume 28,
Number 3,
Pages
429–438
(Mi zvmmf3680)
Probabilistic semantics of terminating programs
E. A. Kaz'mina
Moscow
UDC:
519.681
MSC:
Primary
68Q60
; Secondary
68Q55
Received:
02.03.1987
Revised:
29.05.1987
Fulltext:
PDF file (937 kB)
English version:
USSR Computational Mathematics and Mathematical Physics, 1988,
28
:2,
82–88
Bibliographic databases:
©
Steklov Math. Inst. of RAS
, 2024
Fulltext:
PDF file (937 kB)