Comparison of priority rules in pattern matching and term rewriting

Rapport Année : 1988

(1)

1

A. Laville

INRIA Rocquencourt

Autre [cs.OH]

Fichier principal

RR-0878.pdf (1.03 Mo)

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

Soumis le : mercredi 24 mai 2006-18:47:33

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

Archivage à long terme le : vendredi 13 mai 2011-14:15:22

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

A. Laville. Comparison of priority rules in pattern matching and term rewriting. RR-0878, INRIA. 1988. ⟨inria-00075676⟩

INRIA INRIA-RRRT INRIA2 LARA

50 Consultations

88 Téléchargements