Error diagnosis in logic programming,an adaptation of E.Y.Shapiro's method

Rapport Année : 1985

(1)

1

G. Ferrand

INRIA Rocquencourt

Autre [cs.OH]

Fichier principal

RR-0375.pdf (1.58 Mo)

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

Soumis le : mercredi 24 mai 2006-20:14:39

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

Archivage à long terme le : vendredi 13 mai 2011-16:30:15

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

G. Ferrand. Error diagnosis in logic programming,an adaptation of E.Y.Shapiro's method. RR-0375, INRIA. 1985. ⟨inria-00076181⟩

INRIA INRIA-RRRT INRIA2 LARA

30 Consultations

86 Téléchargements