Finite and infinite computations of logic programs
M.-A. Nait Abdallah
Banach Center Publications, Tome 21 (1988), p. 299-313 / Harvested from The Polish Digital Mathematics Library
Publié le : 1988-01-01
EUDML-ID : urn:eudml:doc:268202
@article{bwmeta1.element.zamlynska-1e6e236b-c390-4623-88a1-1bb239d415a5,
     author = {M.-A. Nait Abdallah},
     title = {Finite and infinite computations of logic programs},
     journal = {Banach Center Publications},
     volume = {21},
     year = {1988},
     pages = {299-313},
     zbl = {0761.68027},
     language = {en},
     url = {http://dml.mathdoc.fr/item/bwmeta1.element.zamlynska-1e6e236b-c390-4623-88a1-1bb239d415a5}
}
M.-A. Nait Abdallah. Finite and infinite computations of logic programs. Banach Center Publications, Tome 21 (1988) pp. 299-313. http://gdmltest.u-ga.fr/item/bwmeta1.element.zamlynska-1e6e236b-c390-4623-88a1-1bb239d415a5/