[IEEE Comput. Soc 10th International Symposium on Temporal...

  • Main
  • [IEEE Comput. Soc 10th International...

[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.
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Year:
2003
Language:
english
DOI:
10.1109/time.2003.1214893
File:
PDF, 321 KB
english, 2003
Conversion to is in progress
Conversion to is failed