Associative-commutative unification

Rapport (Rapport De Recherche) Année : 1984

(1)

Francois Fages

INRIA Rocquencourt

Résumé disponble dans les fichiers attachés

Autre [cs.OH]

Fichier principal

RR-0287.pdf (1.12 Mo)

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

Soumis le : mercredi 24 mai 2006-20:30:33

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

Archivage à long terme le : vendredi 13 mai 2011-19:15:58

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

Francois Fages. Associative-commutative unification. [Research Report] RR-0287, INRIA. 1984. ⟨inria-00076271⟩

INRIA INRIA-RRRT INRIA2 LARA

60 Consultations

327 Téléchargements