TY - JOUR AU - Enjalbert, P. TI - Systèmes de déduction pour les arbres et les schémas de programme (II) JO - RAIRO. Informatique théorique PY - 1981 DA - 1981/// SP - 3 EP - 21 VL - 15 IS - 1 PB - EDP-Sciences UR - http://www.numdam.org/item/ITA_1981__15_1_3_0/ UR - https://zbmath.org/?q=an%3A0464.68019 UR - https://www.ams.org/mathscinet-getitem?mr=610943 LA - fr ID - ITA_1981__15_1_3_0 ER -