Accueil
Consultation
Liste des documents
Liste par type de document
Liste par année
Liste par discipline
Liste par auteurs
Par sous-collection
Recherche
Recherche simple
Recherche avancée
Recherche par identifiant
Services
Export d'une liste de publications
Haltools
Aide
3532 articles – 5253 Notices
[english version]
.:.
Consultation
>
Liste par auteurs
> David .:.
1 document
Modal languages for topology: Expressivity and definability
Ten Cate B., David G., Sustretov D.
Annals of Pure and Applied Logic
159, 1-2 (2009) 146-170 [inria-00424693 - version 1]