TY - JOUR AU - Enjalbert, P. TI - Systèmes de déduction pour les arbres et les schémas de programmes (I) JO - RAIRO. Informatique théorique PY - 1980 DA - 1980/// SP - 247 EP - 278 VL - 14 IS - 3 PB - EDP-Sciences UR - http://www.numdam.org/item/ITA_1980__14_3_247_0/ UR - https://zbmath.org/?q=an%3A0441.68007 UR - https://www.ams.org/mathscinet-getitem?mr=593490 LA - fr ID - ITA_1980__14_3_247_0 ER -