Article Dans Une Revue
Mathematical Structures in Computer Science
Année : 2005
Didier Galmiche : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00076735
Soumis le : vendredi 26 mai 2006-18:36:53
Dernière modification le : mercredi 21 février 2024-12:42:22
Dates et versions
Identifiants
- HAL Id : hal-00076735 , version 1
Citer
Didier Galmiche, Daniel Méry, David Pym. The semantics of BI and resource tableaux. Mathematical Structures in Computer Science, 2005, 15, pp.1033-1088. ⟨hal-00076735⟩
Collections
114
Consultations
0
Téléchargements