Geodesic
О выразительной силе некоторых динамических логик
Matematičeskij sbornik, Tome 167 (1986) no. 3, pp. 410-419

Voir la notice de l'article provenant de la source European Digital Mathematics Library

Mots-clés : comparison of various logics of programs, nondeterminism, dynamic logic, regular programs, context-free programs 
@article{MS_1986__167_3_a1,
     author = {{\CYRA}.{\CYRP}. {\CYRS}{\cyrt}{\cyro}{\cyrl}{\cyrb}{\cyro}{\cyru}{\cyrsh}{\cyrk}{\cyri}{\cyrn}},
     title = {{\CYRO} {\cyrv}{\cyrery}{\cyrr}{\cyra}{\cyrz}{\cyri}{\cyrt}{\cyre}{\cyrl}{\cyrsftsn}{\cyrn}{\cyro}{\cyrishrt} {\cyrs}{\cyri}{\cyrl}{\cyre} {\cyrn}{\cyre}{\cyrk}{\cyro}{\cyrt}{\cyro}{\cyrr}{\cyrery}{\cyrh} {\cyrd}{\cyri}{\cyrn}{\cyra}{\cyrm}{\cyri}{\cyrch}{\cyre}{\cyrs}{\cyrk}{\cyri}{\cyrh} {\cyrl}{\cyro}{\cyrg}{\cyri}{\cyrk}},
     journal = {Matemati\v{c}eskij sbornik},
     pages = {410--419},
     publisher = {mathdoc},
     volume = {167},
     number = {3},
     year = {1986},
     zbl = {0598.68034},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MS_1986__167_3_a1/}
}
TY  - JOUR
AU  - А.П. Столбоушкин
TI  - О выразительной силе некоторых динамических логик
JO  - Matematičeskij sbornik
PY  - 1986
SP  - 410
EP  - 419
VL  - 167
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MS_1986__167_3_a1/
LA  - ru
ID  - MS_1986__167_3_a1
ER  - 
%0 Journal Article
%A А.П. Столбоушкин
%T О выразительной силе некоторых динамических логик
%J Matematičeskij sbornik
%D 1986
%P 410-419
%V 167
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MS_1986__167_3_a1/
%G ru
%F MS_1986__167_3_a1
А.П. Столбоушкин. О выразительной силе некоторых динамических логик. Matematičeskij sbornik, Tome 167 (1986) no. 3, pp. 410-419. http://geodesic.mathdoc.fr/item/MS_1986__167_3_a1/