Topological semantics for hybrid logic

Dmitry Sustretov 1
1 TALARIS - Natural Language Processing: representation, inference and semantics
Inria Nancy - Grand Est, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Type de document :
Autre publication
Ph.D. in Computer Science, INRIA Nancy Grand Est, projet TALARIS/Université Henri Poincaré, Nancy.. 2010
Liste complète des métadonnées

https://hal.inria.fr/inria-00541569
Contributeur : Areces Carlos <>
Soumis le : mardi 30 novembre 2010 - 19:29:12
Dernière modification le : jeudi 11 janvier 2018 - 06:21:35

Identifiants

  • HAL Id : inria-00541569, version 1

Collections

Citation

Dmitry Sustretov. Topological semantics for hybrid logic. Ph.D. in Computer Science, INRIA Nancy Grand Est, projet TALARIS/Université Henri Poincaré, Nancy.. 2010. 〈inria-00541569〉

Partager

Métriques

Consultations de la notice

94