Article Dans Une Revue
Notes aux Comptes-Rendus de l'Académie des Sciences
Année : 2001
Alexandra Bac : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01380172
Soumis le : mercredi 12 octobre 2016-15:52:25
Dernière modification le : vendredi 29 mars 2024-10:12:35
Dates et versions
Identifiants
- HAL Id : hal-01380172 , version 1
Citer
Alexandra Bac. Un modèle relationnel de la logique linéaire du second ordre. Notes aux Comptes-Rendus de l'Académie des Sciences, 2001, 334 (2). ⟨hal-01380172⟩
76
Consultations
0
Téléchargements