| Dmitry Sokolov < Dmitry Sustretov < Dmitry Tishkovsky | Facettes : |
List of bibliographic references indexed by Dmitry Sustretov
Number of relevant bibliographic references: 8.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 002B83 (2010-07-09) | Dmitry Sustretov [France] | Topological semantics for hybrid logic |
| 003625 (2009-05) | Balder Ten Cate [Pays-Bas] ; Gabelaia David [Géorgie] ; Dmitry Sustretov [France] | Modal languages for topology: Expressivity and definability |
| 003764 (2009) | Dmitry Sustretov [France] | Hybrid logics of separation axioms. |
| 004638 (2007-11-29) | Dmitry Sustretov [France] ; Guillaume Hoffmann [France] ; Carlos Areces [France] ; Patrick Blackburn [France] | Experiments in Theorem Proving for Topological Hybrid Logic |
| 004D55 (2007) | Dmitry Sustretov [France] | Topological Semantics and Decidability |
| 004F79 (2006-10-11) | Balder Ten Cate [Pays-Bas] ; David Gabelaia [Géorgie] ; Dmitry Sustretov [France] | Modal Languages for Topology: Expressivity and Definability |
| 005950 (2005-08) | Dmitry Sustretov [France] | Hybrid Definability in Topological Spaces |
| 005F07 (2005) | Dmitry Sustretov | Hybrid Definability in Topological Spaces |
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i -k "Dmitry Sustretov"
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i \
-Sk "Dmitry Sustretov" \
| HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= Main
|étape= Exploration
|type= indexItem
|index= Author.i
|clé= Dmitry Sustretov
}}
| This area was generated with Dilib version V0.6.33. |  |