F | |
---|---|
[FdR+03] | Massimo Franceschet,
Marteen de Rijke et
Bernd-Holger Schlingloff.
Hybrid Logics on Linear Structures: Expressivity and
Complexity.
In TIME-ICTL'03,
pages 166-173.
IEEE Comp. Soc. Press, juillet 2003.
|
Sélectionner
1 correspondance trouvéeListe des auteurs
- 1
- 1
- 1