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


 English version:
USSR Computational Mathematics and Mathematical Physics, 1974, 14:4, 179–188

Bibliographic databases:


© Steklov Math. Inst. of RAS, 2024