Un modèle relationnel de la logique linéaire du second ordre
Bac, Alexandra
HAL, hal-01380172 / Harvested from HAL
Text on HAL
International audience
Publié le : 2001-07-04
Classification:  [MATH.MATH-LO]Mathematics [math]/Logic [math.LO] 
@article{hal-01380172,
     author = {Bac, Alexandra},
     title = {Un mod\`ele relationnel de la logique lin\'eaire du second ordre},
     journal = {HAL},
     volume = {2001},
     number = {0},
     year = {2001},
     language = {en},
     url = {http://dml.mathdoc.fr/item/hal-01380172}
}

Bac, Alexandra. Un modèle relationnel de la logique linéaire du second ordre. HAL, Tome 2001 (2001) no. 0, . http://gdmltest.u-ga.fr/item/hal-01380172/