Login / Signup

The Computational Complexity of Hybrid Temporal Logics.

Carlos ArecesPatrick BlackburnMaarten Marx
Published in: Log. J. IGPL (2000)
Keyphrases