RUS  ENG
Full version
JOURNALS // Sibirskii Matematicheskii Zhurnal // Archive
Sibirsk. Mat. Zh., 1983 Volume 24, Number 3, Pages 184–192 (Mi smj6727)
This article is cited in 2 papers

Hierarchies of program logics

M. A. Taitslin

Kirov Kazakh State University, Alma-Ata

UDC: 517.11

Received: 28.10.1981


 English version: Siberian Mathematical Journal, 1983, 24:3, 469–476

Bibliographic databases:

© Steklov Math. Inst. of RAS, 2026