TY - JOUR AU - A. G. Pinus TI - Conditional terms and their applications in algebra and computation theory JO - Trudy Matematicheskogo Instituta imeni V.A. Steklova PY - 2001 SP - 649 EP - 686 VL - 56 IS - 4 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/RM_2001_56_4_a1/ LA - en ID - RM_2001_56_4_a1 ER -