Autre Publication
Année : 2010
Areces Carlos : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00541569
Soumis le : mardi 30 novembre 2010-19:29:12
Dernière modification le : vendredi 24 mars 2023-14:52:53
Dates et versions
Identifiants
- HAL Id : inria-00541569 , version 1
Citer
Dmitry Sustretov. Topological semantics for hybrid logic. 2010. ⟨inria-00541569⟩
Collections
43
Consultations
0
Téléchargements