Žurnal vyčislitelʹnoj matematiki i matematičeskoj fiziki, Tome 27 (1987) no. 10, pp. 1585-1589
Citer cet article
I. A. Lomazova. On the problem of the existence of a complete axiomatic program semantics that does not admit side effects. Žurnal vyčislitelʹnoj matematiki i matematičeskoj fiziki, Tome 27 (1987) no. 10, pp. 1585-1589. http://geodesic.mathdoc.fr/item/ZVMMF_1987_27_10_a14/
@article{ZVMMF_1987_27_10_a14,
author = {I. A. Lomazova},
title = {On the problem of the existence of a complete axiomatic program semantics that does not admit side effects},
journal = {\v{Z}urnal vy\v{c}islitelʹnoj matematiki i matemati\v{c}eskoj fiziki},
pages = {1585--1589},
year = {1987},
volume = {27},
number = {10},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/ZVMMF_1987_27_10_a14/}
}
TY - JOUR
AU - I. A. Lomazova
TI - On the problem of the existence of a complete axiomatic program semantics that does not admit side effects
JO - Žurnal vyčislitelʹnoj matematiki i matematičeskoj fiziki
PY - 1987
SP - 1585
EP - 1589
VL - 27
IS - 10
UR - http://geodesic.mathdoc.fr/item/ZVMMF_1987_27_10_a14/
LA - ru
ID - ZVMMF_1987_27_10_a14
ER -
%0 Journal Article
%A I. A. Lomazova
%T On the problem of the existence of a complete axiomatic program semantics that does not admit side effects
%J Žurnal vyčislitelʹnoj matematiki i matematičeskoj fiziki
%D 1987
%P 1585-1589
%V 27
%N 10
%U http://geodesic.mathdoc.fr/item/ZVMMF_1987_27_10_a14/
%G ru
%F ZVMMF_1987_27_10_a14
