Voir la notice de l'article provenant de la source Numdam
@article{ITA_1997__31_3_205_0,
author = {Hibti, M. and Legeard, B. and Lombardi, H.},
title = {Une proc\'edure de d\'ecision pour un probl\`eme de satisfiabilit\'e dans un univers ensembliste h\'er\'editairement fini},
journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
pages = {205--236},
publisher = {EDP-Sciences},
volume = {31},
number = {3},
year = {1997},
mrnumber = {1483257},
zbl = {0889.68062},
language = {fr},
url = {http://geodesic.mathdoc.fr/item/ITA_1997__31_3_205_0/}
}
TY - JOUR AU - Hibti, M. AU - Legeard, B. AU - Lombardi, H. TI - Une procédure de décision pour un problème de satisfiabilité dans un univers ensembliste héréditairement fini JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications PY - 1997 SP - 205 EP - 236 VL - 31 IS - 3 PB - EDP-Sciences UR - http://geodesic.mathdoc.fr/item/ITA_1997__31_3_205_0/ LA - fr ID - ITA_1997__31_3_205_0 ER -
%0 Journal Article %A Hibti, M. %A Legeard, B. %A Lombardi, H. %T Une procédure de décision pour un problème de satisfiabilité dans un univers ensembliste héréditairement fini %J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications %D 1997 %P 205-236 %V 31 %N 3 %I EDP-Sciences %U http://geodesic.mathdoc.fr/item/ITA_1997__31_3_205_0/ %G fr %F ITA_1997__31_3_205_0
Hibti, M.; Legeard, B.; Lombardi, H. Une procédure de décision pour un problème de satisfiabilité dans un univers ensembliste héréditairement fini. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 31 (1997) no. 3, pp. 205-236. http://geodesic.mathdoc.fr/item/ITA_1997__31_3_205_0/