Geodesic
Ограничение сложности термов в выходах и разрешимые фрагменты исчисления предикатов
Issledovanija po prikladnoj matematike, Tome 2 (1974), pp. 56-62.

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

@article{IPM_1974__2_68920,
     author = {{\CYRN}.{\CYRK}. {\CYRZ}{\cyra}{\cyrm}{\cyro}{\cyrv}},
     title = {{\CYRO}{\cyrg}{\cyrr}{\cyra}{\cyrn}{\cyri}{\cyrch}{\cyre}{\cyrn}{\cyri}{\cyre} {\cyrs}{\cyrl}{\cyro}{\cyrzh}{\cyrn}{\cyro}{\cyrs}{\cyrt}{\cyri} {\cyrt}{\cyre}{\cyrr}{\cyrm}{\cyro}{\cyrv} {\cyrv} {\cyrv}{\cyrery}{\cyrh}{\cyro}{\cyrd}{\cyra}{\cyrh} {\cyri} {\cyrr}{\cyra}{\cyrz}{\cyrr}{\cyre}{\cyrsh}{\cyri}{\cyrm}{\cyrery}{\cyre} {\cyrf}{\cyrr}{\cyra}{\cyrg}{\cyrm}{\cyre}{\cyrn}{\cyrt}{\cyrery} {\cyri}{\cyrs}{\cyrch}{\cyri}{\cyrs}{\cyrl}{\cyre}{\cyrn}{\cyri}{\cyrya} {\cyrp}{\cyrr}{\cyre}{\cyrd}{\cyri}{\cyrk}{\cyra}{\cyrt}{\cyro}{\cyrv}},
     journal = {Issledovanija po prikladnoj matematike},
     pages = {56--62},
     publisher = {mathdoc},
     volume = {2},
     year = {1974},
     zbl = {0357.02011},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/IPM_1974__2_68920/}
}
TY  - JOUR
AU  - Н.К. Замов
TI  - Ограничение сложности термов в выходах и разрешимые фрагменты исчисления предикатов
JO  - Issledovanija po prikladnoj matematike
PY  - 1974
SP  - 56
EP  - 62
VL  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/IPM_1974__2_68920/
LA  - ru
ID  - IPM_1974__2_68920
ER  - 
%0 Journal Article
%A Н.К. Замов
%T Ограничение сложности термов в выходах и разрешимые фрагменты исчисления предикатов
%J Issledovanija po prikladnoj matematike
%D 1974
%P 56-62
%V 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/IPM_1974__2_68920/
%G ru
%F IPM_1974__2_68920
Н.К. Замов. Ограничение сложности термов в выходах и разрешимые фрагменты исчисления предикатов. Issledovanija po prikladnoj matematike, Tome 2 (1974), pp. 56-62. http://geodesic.mathdoc.fr/item/IPM_1974__2_68920/