![](/img/cover-not-exists.png)
[IEEE Comput. Soc 10th International Symposium on Temporal Representation and Reasoning and Fourth International Conference on Temporal Logic. TIME-ICTL 2003 - Cairns, Qld., Australia (8-10 July 2003)] 10th International Symposium on Temporal Representation and Reasoning, 2003 and Fourth International Conference on Temporal Logic. Proceedings. - Hybrid logics on linear structures: expressivity and complexity
Franceschet, M., de Rijke, M., Schlingloff, B.-H.Year:
2003
Language:
english
DOI:
10.1109/time.2003.1214893
File:
PDF, 321 KB
english, 2003