%0 Journal Article %A N. K. Kosovskiy %T Polynomial upper bounds of RAM+BOOL program size of changes for the proof of belonging to~{\bf FP} %J Zapiski Nauchnykh Seminarov POMI %D 2012 %P 105-110 %V 407 %I mathdoc %U http://geodesic.mathdoc.fr/item/ZNSL_2012_407_a4/ %G ru %F ZNSL_2012_407_a4