Complexity and Succinctness Issues for Linear-Time Hybrid Logics.

Laura Bozzelli, Ruggero Lanotte

Browse the full JELIA paper archive.