About Boundedness for some DATALOG and DATALOG$^{\rm neg}$ programs

Communication Dans Un Congrès Année : 1992

(1) ,

1

Irene Guessarian

M. Veloso-Peixoto

https://hal.science/hal-00020727

Soumis le : mardi 14 mars 2006-17:06:18

Dernière modification le : vendredi 24 mars 2023-14:52:47

hal-00020727 , version 1 (14-03-2006)

Irene Guessarian, M. Veloso-Peixoto. About Boundedness for some DATALOG and DATALOG$^{\rm neg}$ programs. 1992, pp.284-287. ⟨hal-00020727⟩

UNIV-PARIS7 CNRS LIAFA

14 Consultations

0 Téléchargements