Теорема о недоказуемости нижних временных оценок для некоторого класса функций
Verojatnostnye metody i kibernetika (1979)
- Volume: 15, page 48-50
- ISSN: 0132-2869
Access Full Article
topHow to cite
topМакаров, И.И.. "Теорема о недоказуемости нижних временных оценок для некоторого класса функций." Verojatnostnye metody i kibernetika 15 (1979): 48-50. <http://eudml.org/doc/69180>.
@article{Макаров1979,
author = {Макаров, И.И.},
journal = {Verojatnostnye metody i kibernetika},
keywords = {formal arithmetic; deductively lower-bounded total recursive function},
language = {rus},
pages = {48-50},
publisher = {Izd. Kazanskogo universiteta},
title = {Теорема о недоказуемости нижних временных оценок для некоторого класса функций},
url = {http://eudml.org/doc/69180},
volume = {15},
year = {1979},
}
TY - JOUR
AU - Макаров, И.И.
TI - Теорема о недоказуемости нижних временных оценок для некоторого класса функций
JO - Verojatnostnye metody i kibernetika
PY - 1979
PB - Izd. Kazanskogo universiteta
VL - 15
SP - 48
EP - 50
LA - rus
KW - formal arithmetic; deductively lower-bounded total recursive function
UR - http://eudml.org/doc/69180
ER -
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.