Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

80

Voted

IGPL
2000

82views more IGPL 2000»

The Computational Complexity of Hybrid Temporal Logics

15 years 2 months ago

The Computational Complexity of Hybrid Temporal Logics

Download www.loria.fr

Carlos Areces, Patrick Blackburn, Maarten Marx

Real-time Traffic

IGPL 2000 |

claim paper

Related Content

» Hybrid Logics on Linear Structures Expressivity and Complexity

» A RoadMap on Complexity for Hybrid Logics

» A Complete Temporal and Spatial Logic for Distributed Systems

» Robust Satisfaction of Temporal Logic over RealValued Signals

» Wheres Waldo SensorBased Temporal Logic Motion Planning

» On the Computational Complexity of SpatioTemporal Logics

» Temporal Description Logics A Survey

» Past and Future of DLLite

» An interval logic for natural language semantics

Post Info
More Details (n/a)

Added	18 Dec 2010
Updated	18 Dec 2010
Type	Journal
Year	2000
Where	IGPL
Authors	Carlos Areces, Patrick Blackburn, Maarten Marx

Comments (0)