Geodesic
Теорема о недоказуемости нижних временных оценок для некоторого класса функций
Veroâtnostnye metody i kibernetika, Tome 15 (1979), pp. 48-50.

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

Mots-clés : formal arithmetic, deductively lower-bounded total recursive function 
@article{VMK_1979__15_69180,
     author = {{\CYRI}.{\CYRI}. {\CYRM}{\cyra}{\cyrk}{\cyra}{\cyrr}{\cyro}{\cyrv}},
     title = {{\CYRT}{\cyre}{\cyro}{\cyrr}{\cyre}{\cyrm}{\cyra} {\cyro} {\cyrn}{\cyre}{\cyrd}{\cyro}{\cyrk}{\cyra}{\cyrz}{\cyru}{\cyre}{\cyrm}{\cyro}{\cyrs}{\cyrt}{\cyri} {\cyrn}{\cyri}{\cyrzh}{\cyrn}{\cyri}{\cyrh} {\cyrv}{\cyrr}{\cyre}{\cyrm}{\cyre}{\cyrn}{\cyrn}{\cyrery}{\cyrh} {\cyro}{\cyrc}{\cyre}{\cyrn}{\cyro}{\cyrk} {\cyrd}{\cyrl}{\cyrya} {\cyrn}{\cyre}{\cyrk}{\cyro}{\cyrt}{\cyro}{\cyrr}{\cyro}{\cyrg}{\cyro} {\cyrk}{\cyrl}{\cyra}{\cyrs}{\cyrs}{\cyra} {\cyrf}{\cyru}{\cyrn}{\cyrk}{\cyrc}{\cyri}{\cyrishrt}},
     journal = {Vero\^atnostnye metody i kibernetika},
     pages = {48--50},
     publisher = {mathdoc},
     volume = {15},
     year = {1979},
     zbl = {0422.03014},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/VMK_1979__15_69180/}
}
TY  - JOUR
AU  - И.И. Макаров
TI  - Теорема о недоказуемости нижних временных оценок для некоторого класса функций
JO  - Veroâtnostnye metody i kibernetika
PY  - 1979
SP  - 48
EP  - 50
VL  - 15
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/VMK_1979__15_69180/
LA  - ru
ID  - VMK_1979__15_69180
ER  - 
%0 Journal Article
%A И.И. Макаров
%T Теорема о недоказуемости нижних временных оценок для некоторого класса функций
%J Veroâtnostnye metody i kibernetika
%D 1979
%P 48-50
%V 15
%I mathdoc
%U http://geodesic.mathdoc.fr/item/VMK_1979__15_69180/
%G ru
%F VMK_1979__15_69180
И.И. Макаров. Теорема о недоказуемости нижних временных оценок для некоторого класса функций. Veroâtnostnye metody i kibernetika, Tome 15 (1979), pp. 48-50. http://geodesic.mathdoc.fr/item/VMK_1979__15_69180/