![](/img/cover-not-exists.png)
Complexity and succinctness issues for linear-time hybrid logics
Laura Bozzelli, Ruggero LanotteVolume:
411
Year:
2010
Language:
english
Pages:
16
DOI:
10.1016/j.tcs.2009.08.009
File:
PDF, 1.14 MB
english, 2010