RUS
ENG
Full version
JOURNALS
// Zhurnal Vychislitel'noi Matematiki i Matematicheskoi Fiziki
// Archive
Zh. Vychisl. Mat. Mat. Fiz.,
1974
Volume 14,
Number 4,
Pages
1004–1015
(Mi zvmmf6406)
This article is cited in
1
paper
The formalization of certain context conditions for programming languages
I. L. Bratchikov
,
Kh. I. Toirikh
Leningrad
UDC:
518.5
MSC:
Primary
68N01
; Secondary
68Q45
Received:
12.02.1973
Fulltext:
PDF file (1578 kB)
Cited by
English version:
USSR Computational Mathematics and Mathematical Physics, 1974,
14
:4,
179–188
Bibliographic databases:
©
Steklov Math. Inst. of RAS
, 2024