Proofs by induction in equational theories with constructors

Rapport (Rapport De Recherche) Année : 1980

(1) , (1)

Gérard Huet

INRIA Rocquencourt

J.M. Hullot

INRIA Rocquencourt

pas de résumé

Autre [cs.OH]

Fichier principal

RR-0028.pdf (753.17 Ko)

https://inria.hal.science/inria-00076533

Soumis le : mercredi 24 mai 2006-21:15:06

Dernière modification le : mardi 7 février 2023-03:41:46

Archivage à long terme le : vendredi 13 mai 2011-21:49:46

inria-00076533 , version 1 (24-05-2006)

Gérard Huet, J.M. Hullot. Proofs by induction in equational theories with constructors. [Research Report] RR-0028, INRIA. 1980. ⟨inria-00076533⟩

INRIA INRIA-RRRT INRIA2 LARA

42 Consultations

552 Téléchargements