Some open questions in the~theory of program schemes and dynamic logics
Trudy Matematicheskogo Instituta imeni V.A. Steklova, Tome 44 (1989) no. 1, pp. 43-68
Voir la notice de l'article provenant de la source Math-Net.Ru
@article{RM_1989_44_1_a2,
author = {A. J. Kfoury and A. P. Stolboushkin and P. Urzyczyn},
title = {Some open questions in the~theory of program schemes and dynamic logics},
journal = {Trudy Matematicheskogo Instituta imeni V.A. Steklova},
pages = {43--68},
publisher = {mathdoc},
volume = {44},
number = {1},
year = {1989},
language = {en},
url = {http://geodesic.mathdoc.fr/item/RM_1989_44_1_a2/}
}
TY - JOUR AU - A. J. Kfoury AU - A. P. Stolboushkin AU - P. Urzyczyn TI - Some open questions in the~theory of program schemes and dynamic logics JO - Trudy Matematicheskogo Instituta imeni V.A. Steklova PY - 1989 SP - 43 EP - 68 VL - 44 IS - 1 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/RM_1989_44_1_a2/ LA - en ID - RM_1989_44_1_a2 ER -
%0 Journal Article %A A. J. Kfoury %A A. P. Stolboushkin %A P. Urzyczyn %T Some open questions in the~theory of program schemes and dynamic logics %J Trudy Matematicheskogo Instituta imeni V.A. Steklova %D 1989 %P 43-68 %V 44 %N 1 %I mathdoc %U http://geodesic.mathdoc.fr/item/RM_1989_44_1_a2/ %G en %F RM_1989_44_1_a2
A. J. Kfoury; A. P. Stolboushkin; P. Urzyczyn. Some open questions in the~theory of program schemes and dynamic logics. Trudy Matematicheskogo Instituta imeni V.A. Steklova, Tome 44 (1989) no. 1, pp. 43-68. http://geodesic.mathdoc.fr/item/RM_1989_44_1_a2/