English
Deutsch
Log In
Log in with Fraunhofer Smartcard
Password Login
Research Outputs
Fundings & Projects
Researchers
Institutes
Statistics
Fraunhofer-Gesellschaft
Home
Fraunhofer-Gesellschaft
Konferenzschrift
Hybrid logics on linear structures: Expressivity and complexity
Details
Full
Export
Statistics
Options
Show all metadata (technical view)
2003
Conference Paper
Title
Hybrid logics on linear structures: Expressivity and complexity
Author(s)
Franceschet, M.
Rijke, M. de
Schlingloff, B.H.
Mainwork
10th International Symposium on Temporal Representation and Reasoning and Fourth International Conference on Temporal Logic, TIME-ICTL 2003. Proceedings
Conference
International Symposium on Temporal Representation and Reasoning (TIME)
International Conference on Temporal Logic (ICTL)
DOI
10.1109/TIME.2003.1214893
Language
English
FIRST
