TY - JOUR AU - Olivier, Jean-Pierre TI - Vers une axiomatisation nécessaire des algèbres de correspondances en dimension finie JO - Publications de l'Institut de recherche mathématiques de Rennes PY - 1980 SP - 201 EP - 208 IS - S3 PB - Département de Mathématiques et Informatique, Université de Rennes UR - http://geodesic.mathdoc.fr/item/PSMIR_1980___S3_201_0/ LA - fr ID - PSMIR_1980___S3_201_0 ER -