inria-00076533, version 1

Proofs by induction in equational theories with constructors

Gérard Huet ¹, J.M. Hullot ¹

N° RR-0028 (1980)

• 1 :  INRIA Rocquencourt (INRIA Rocquencourt)
• INRIA

• Domaine : Informatique/Autre
• Référence interne : RR-0028

• inria-00076533, version 1
• http://hal.inria.fr/inria-00076533
• oai:hal.inria.fr:inria-00076533
• Contributeur : Rapport De Recherche Inria <>
• Soumis le : Mercredi 24 Mai 2006, 21:15:06
• Dernière modification le : Vendredi 14 Mars 2008, 16:26:31