Laura Bozzelli, Ruggero Lanotte. Complexity and Succinctness Issues for Linear-Time Hybrid Logics. In Steffen Hölldobler, Carsten Lutz, Heinrich Wansing, editors, Logics in Artificial Intelligence, 11th European Conference, JELIA 2008, Dresden, Germany, September 28 - October 1, 2008. Proceedings. Volume 5293 of Lecture Notes in Computer Science, pages 48-61, Springer, 2008. [doi]
@inproceedings{BozzelliL08, title = {Complexity and Succinctness Issues for Linear-Time Hybrid Logics}, author = {Laura Bozzelli and Ruggero Lanotte}, year = {2008}, doi = {10.1007/978-3-540-87803-2_6}, url = {http://dx.doi.org/10.1007/978-3-540-87803-2_6}, tags = {logic}, researchr = {https://researchr.org/publication/BozzelliL08}, cites = {0}, citedby = {0}, pages = {48-61}, booktitle = {Logics in Artificial Intelligence, 11th European Conference, JELIA 2008, Dresden, Germany, September 28 - October 1, 2008. Proceedings}, editor = {Steffen Hölldobler and Carsten Lutz and Heinrich Wansing}, volume = {5293}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-540-87802-5}, }