Voir la notice de l'article provenant de la source Numdam
@article{ITA_1984__18_2_161_0,
author = {Fari\~nas Del Cerro, Luis},
title = {Un principe de r\'esolution en logique modale},
journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
pages = {161--170},
publisher = {EDP-Sciences},
volume = {18},
number = {2},
year = {1984},
mrnumber = {761515},
zbl = {0566.03007},
language = {fr},
url = {http://geodesic.mathdoc.fr/item/ITA_1984__18_2_161_0/}
}
TY - JOUR AU - Fariñas Del Cerro, Luis TI - Un principe de résolution en logique modale JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications PY - 1984 SP - 161 EP - 170 VL - 18 IS - 2 PB - EDP-Sciences UR - http://geodesic.mathdoc.fr/item/ITA_1984__18_2_161_0/ LA - fr ID - ITA_1984__18_2_161_0 ER -
%0 Journal Article %A Fariñas Del Cerro, Luis %T Un principe de résolution en logique modale %J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications %D 1984 %P 161-170 %V 18 %N 2 %I EDP-Sciences %U http://geodesic.mathdoc.fr/item/ITA_1984__18_2_161_0/ %G fr %F ITA_1984__18_2_161_0
Fariñas Del Cerro, Luis. Un principe de résolution en logique modale. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 18 (1984) no. 2, pp. 161-170. http://geodesic.mathdoc.fr/item/ITA_1984__18_2_161_0/