%0 Journal Article %A S. V. Avgustinovich %A Yu. L. Vasil'ev %A K. L. Rychkov %T The computation complexity in the class of formulas %J Diskretnyj analiz i issledovanie operacij %D 2012 %P 3-12 %V 19 %N 3 %I mathdoc %U http://geodesic.mathdoc.fr/item/DA_2012_19_3_a0/ %G ru %F DA_2012_19_3_a0