%0 Journal Article %1 journals/igpl/ArecesBM00 %A Areces, Carlos %A Blackburn, Patrick %A Marx, Maarten %D 2000 %J Logic Journal of the IGPL %K dblp %N 5 %P 653-679 %T The Computational Complexity of Hybrid Temporal Logics. %U http://dblp.uni-trier.de/db/journals/igpl/igpl8.html#ArecesBM00 %V 8

@article{journals/igpl/ArecesBM00, added-at = {2011-06-29T00:00:00.000+0200}, author = {Areces, Carlos and Blackburn, Patrick and Marx, Maarten}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2588dcfd7311054a9d51bae33ad4b44a5/dblp}, ee = {http://dx.doi.org/10.1093/jigpal/8.5.653}, interhash = {5c5cae0e04ad87b76b96b6c0487d5263}, intrahash = {588dcfd7311054a9d51bae33ad4b44a5}, journal = {Logic Journal of the IGPL}, keywords = {dblp}, number = 5, pages = {653-679}, timestamp = {2016-02-02T08:01:43.000+0100}, title = {The Computational Complexity of Hybrid Temporal Logics.}, url = {http://dblp.uni-trier.de/db/journals/igpl/igpl8.html#ArecesBM00}, volume = 8, year = 2000 }