Полиномиально ограниченный сверху объём изменений программ на RAM+BOOL для доказательства принадлежности FP

In: ЗАПИСКИ НАУЧНЫХ СЕМИНАРОВ САНКТ-ПЕТЕРБУРГСКОГО ОТДЕЛЕНИЯ МАТЕМАТИЧЕСКОГО ИНСТИТУТА ИМ. В.А. СТЕКЛОВА РАН, Vol. 407, 2012, p. 105 -110.

Research output: Contribution to journal › Article › peer-review

Косовский НК. Полиномиально ограниченный сверху объём изменений программ на RAM+BOOL для доказательства принадлежности FP. ЗАПИСКИ НАУЧНЫХ СЕМИНАРОВ САНКТ-ПЕТЕРБУРГСКОГО ОТДЕЛЕНИЯ МАТЕМАТИЧЕСКОГО ИНСТИТУТА ИМ. В.А. СТЕКЛОВА РАН. 2012;407:105 -110.

Косовский, Н.К. / Полиномиально ограниченный сверху объём изменений программ на RAM+BOOL для доказательства принадлежности FP. In: ЗАПИСКИ НАУЧНЫХ СЕМИНАРОВ САНКТ-ПЕТЕРБУРГСКОГО ОТДЕЛЕНИЯ МАТЕМАТИЧЕСКОГО ИНСТИТУТА ИМ. В.А. СТЕКЛОВА РАН. 2012 ; Vol. 407. pp. 105 -110.

@article{14bee95cce9448708972546f538621be,

title = "Полиномиально ограниченный сверху объём изменений программ на RAM+BOOL для доказательства принадлежности FP",

keywords = "RAM, машины Тьюринга, машины Тьюринга с оракулами-функциями, класс FP",

author = "Н.К. Косовский",

year = "2012",

language = "русский",

volume = "407",

pages = "105 --110",

journal = "ЗАПИСКИ НАУЧНЫХ СЕМИНАРОВ САНКТ-ПЕТЕРБУРГСКОГО ОТДЕЛЕНИЯ МАТЕМАТИЧЕСКОГО ИНСТИТУТА ИМ. В.А. СТЕКЛОВА РАН",

issn = "0373-2703",

publisher = "Санкт-Петербургское отделение Математического института им. В. А. Стеклова РАН",

}

TY - JOUR

T1 - Полиномиально ограниченный сверху объём изменений программ на RAM+BOOL для доказательства принадлежности FP

AU - Косовский, Н.К.

PY - 2012

Y1 - 2012

KW - RAM

KW - машины Тьюринга

KW - машины Тьюринга с оракулами-функциями

KW - класс FP

M3 - статья

VL - 407

SP - 105

EP - 110

JO - ЗАПИСКИ НАУЧНЫХ СЕМИНАРОВ САНКТ-ПЕТЕРБУРГСКОГО ОТДЕЛЕНИЯ МАТЕМАТИЧЕСКОГО ИНСТИТУТА ИМ. В.А. СТЕКЛОВА РАН

JF - ЗАПИСКИ НАУЧНЫХ СЕМИНАРОВ САНКТ-ПЕТЕРБУРГСКОГО ОТДЕЛЕНИЯ МАТЕМАТИЧЕСКОГО ИНСТИТУТА ИМ. В.А. СТЕКЛОВА РАН

SN - 0373-2703

ER -

ID: 5427072