The Computational Complexity of Hybrid Temporal Logics (2000)

Cached

Download Links

by Carlos Areces , Patrick Blackburn , Maarten Marx
Venue:Logic Journal of the IGPL
Citations:55 - 11 self