 |
Journal articles
Smallest Horn Clause Programs
J Würtz
Author
1
CRIL - Centre de Recherche en Informatique de Lens (Faculté Jean Perrin Rue Jean Souvraz - SP 18 - 62307 LENS CEDEX - France)
- UA - Université d'Artois : UMR8188 (9 rue du Temple - BP 10665 - 62030 Arras cedex - France)
- CNRS - Centre National de la Recherche Scientifique : UMR8188 (France)
2
LIFL - Laboratoire d'Informatique Fondamentale de Lille (Bâtiment M3 59655 Villeneuve d'Ascq Cédex - France)
- Université de Lille, Sciences et Technologies (Cité Scientifique - 59655 Villeneuve d'Ascq Cedex - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
- Université de Lille, Sciences Humaines et Sociales (Domaine universitaire du "Pont de Bois" Rue du Barreau BP 60149 59653 Villeneuve d'Ascq Cedex - France)
- CNRS - Centre National de la Recherche Scientifique : UMR8022 (France)
Document type :
Journal articles
Complete list of metadata
https://hal-univ-artois.archives-ouvertes.fr/hal-03301109
Contributor : Fabien Delorme Connect in order to contact the contributor
Submitted on : Tuesday, July 27, 2021 - 12:54:40 PM
Last modification on : Wednesday, October 20, 2021 - 9:58:21 AM
Contributor : Fabien Delorme Connect in order to contact the contributor
Submitted on : Tuesday, July 27, 2021 - 12:54:40 PM
Last modification on : Wednesday, October 20, 2021 - 9:58:21 AM
Identifiers
- HAL Id : hal-03301109, version 1
Collections
UNIV-ARTOIS | UNIV-LILLE3 | CNRS | INRIA | INRIA-MECSCI | CRIL
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⟩
Metrics
Les métriques sont temporairement indisponibles