TY - JOUR AU - Alexandra Bruasse-Bac TI - Modèle relationnel de la logique linéaire du second ordre JO - Comptes Rendus. Mathématique PY - 2002 SP - 93 EP - 96 VL - 334 IS - 2 PB - Elsevier DO - 10.1016/S1631-073X(02)02229-X LA - fr ID - CRMATH_2002__334_2_93_0 ER -