Geodesic
О динамических теориях свободных алгебр
Matematičeskij sbornik, Tome 180 (1989) no. 3, pp. 307-321.

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

Mots-clés : expressive power of dynamic logics 
@article{MS_1989__180_3_a0,
     author = {{\CYRI}.{\CYRH}. {\CYRM}{\cyru}{\cyrs}{\cyri}{\cyrk}{\cyra}{\cyre}{\cyrv} and {\CYRM}.{\CYRA}. {\CYRT}{\cyra}{\cyrishrt}{\cyrc}{\cyrl}{\cyri}{\cyrn}},
     title = {{\CYRO} {\cyrd}{\cyri}{\cyrn}{\cyra}{\cyrm}{\cyri}{\cyrch}{\cyre}{\cyrs}{\cyrk}{\cyri}{\cyrh} {\cyrt}{\cyre}{\cyro}{\cyrr}{\cyri}{\cyrya}{\cyrh} {\cyrs}{\cyrv}{\cyro}{\cyrb}{\cyro}{\cyrd}{\cyrn}{\cyrery}{\cyrh} {\cyra}{\cyrl}{\cyrg}{\cyre}{\cyrb}{\cyrr}},
     journal = {Matemati\v{c}eskij sbornik},
     pages = {307--321},
     publisher = {mathdoc},
     volume = {180},
     number = {3},
     year = {1989},
     zbl = {0679.03004},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MS_1989__180_3_a0/}
}
TY  - JOUR
AU  - И.Х. Мусикаев
AU  - М.А. Тайцлин
TI  - О динамических теориях свободных алгебр
JO  - Matematičeskij sbornik
PY  - 1989
SP  - 307
EP  - 321
VL  - 180
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MS_1989__180_3_a0/
LA  - ru
ID  - MS_1989__180_3_a0
ER  - 
%0 Journal Article
%A И.Х. Мусикаев
%A М.А. Тайцлин
%T О динамических теориях свободных алгебр
%J Matematičeskij sbornik
%D 1989
%P 307-321
%V 180
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MS_1989__180_3_a0/
%G ru
%F MS_1989__180_3_a0
И.Х. Мусикаев; М.А. Тайцлин. О динамических теориях свободных алгебр. Matematičeskij sbornik, Tome 180 (1989) no. 3, pp. 307-321. http://geodesic.mathdoc.fr/item/MS_1989__180_3_a0/