Un modèle relationnel de la logique linéaire du second ordre - Archive ouverte HAL
Article Dans Une Revue Notes aux Comptes-Rendus de l'Académie des Sciences Année : 2001

Un modèle relationnel de la logique linéaire du second ordre

Fichier non déposé

Dates et versions

hal-01380172 , version 1 (12-10-2016)

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

Partager

More