RUS  ENG
Full version
JOURNALS // Sibirskii Matematicheskii Zhurnal // Archive
Sibirsk. Mat. Zh., 1986 Volume 27, Number 6, Pages 157–162 (Mi smj7218)
A nondeterministic program logic

I. Kh. Musikaev

Alma-Ata

UDC: 510.6

Received: 05.12.1984


 English version: Siberian Mathematical Journal, 1986, 27:6, 914–919

Bibliographic databases:

© Steklov Math. Inst. of RAS, 2024