Smallest Horn Clause Programs - Archive ouverte HAL Access content directly
Journal Articles Jounal of Logic Programming Year : 1996

Smallest Horn Clause Programs

, , (1) , (2) ,
1
2
Ph. Devienne
  • Function : Author
P Lebègue
  • Function : Author
Anne Parrain
J Würtz
  • Function : Author
Not file

Dates and versions

hal-03301109 , version 1 (27-07-2021)

Identifiers

  • HAL Id : hal-03301109 , version 1

Cite

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⟩
14 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More