TY - JOUR AU - Yu. G. Ventsov TI - Algorithmic properties of branching models JO - Algebra i logika PY - 1986 SP - 369 EP - 383 VL - 25 IS - 4 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/AL_1986_25_4_a0/ LA - ru ID - AL_1986_25_4_a0 ER -