TY - JOUR AU - E. V. Dyukova TI - On the implementation complexity of discrete (logical) recognition procedures JO - Žurnal vyčislitelʹnoj matematiki i matematičeskoj fiziki PY - 2004 SP - 562 EP - 572 VL - 44 IS - 3 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/ZVMMF_2004_44_3_a16/ LA - ru ID - ZVMMF_2004_44_3_a16 ER -