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