RUS
ENG
Full version
PEOPLE
Toirikh Kh I
Publications in Math-Net.Ru
The formalization of certain context conditions for programming languages
Zh. Vychisl. Mat. Mat. Fiz.
,
14
:4 (1974),
1004–1015
©
Steklov Math. Inst. of RAS
, 2024
