Communication Dans Un Congrès
Année : 1995
Cécile Alrivie : Connectez-vous pour contacter le contributeur
https://ens.hal.science/hal-03316379
Soumis le : vendredi 6 août 2021-14:32:42
Dernière modification le : vendredi 22 mars 2024-03:09:38
Citer
G. Loop, Kathleen Milsted, Sergei Soloviev. A Logic of Subtyping. 10th IEEE annual Symposium on Logic in Computer Science (LICS 1995), IEEE, Jun 1995, San Diego, United States. pp.292--300, ⟨10.1109/LICS.1995.523264⟩. ⟨hal-03316379⟩
Collections
29
Consultations
0
Téléchargements