Skip to Main content Skip to Navigation
Journal articles

Smallest Horn Clause Programs

Document type :
Journal articles
Complete list of metadata

https://hal-univ-artois.archives-ouvertes.fr/hal-03301109
Contributor : Fabien Delorme <>
Submitted on : Tuesday, July 27, 2021 - 12:54:40 PM
Last modification on : Thursday, September 9, 2021 - 3:10:29 PM

Identifiers

  • HAL Id : hal-03301109, version 1

Citation

Ph. Devienne, P Lebègue, Anne Parrain, J.-C. Routier, J Würtz. Smallest Horn Clause Programs. Jounal of Logic Programming, 1996, 27 (3), pp.227-267. ⟨hal-03301109⟩

Share

Metrics

Record views

17