F | |
---|---|
[FdR+03] | Massimo Franceschet,
Marteen de Rijke, and
Bernd-Holger Schlingloff.
Hybrid Logics on Linear Structures: Expressivity and
Complexity.
In TIME-ICTL'03,
pages 166-173.
IEEE Comp. Soc. Press, July 2003.
|
Search
Displayed 1 resultList of authors
- 1
- 1
- 1