Sign in

Complexity and Succinctness Issues for Linear-Time Hybrid Logics.

Laura BozzelliRuggero Lanotte
Published in: JELIA (2008)
Keyphrases