%0 Journal Article
%A L. L. Maksimova
%A P. A. Schreiner
%T Algorithms of the recognition of the tabularity and pretabularity in the extensions of the intuitionistic calculus
%J Sibirskij žurnal čistoj i prikladnoj matematiki
%D 2006
%P 49-58
%V 6
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/VNGU_2006_6_3_a3/
%G ru
%F VNGU_2006_6_3_a3