%0 Journal Article %1 journals/japll/DemriL10 %A Demri, Stéphane %A Lugiez, Denis %D 2010 %J J. Appl. Log. %K %N 3 %P 233-252 %T Complexity of modal logics with Presburger constraints. %U http://dblp.uni-trier.de/db/journals/japll/japll8.html#DemriL10 %V 8

@article{journals/japll/DemriL10, added-at = {2023-12-12T21:23:06.000+0100}, author = {Demri, Stéphane and Lugiez, Denis}, biburl = {https://www.bibsonomy.org/bibtex/2d2725eb62c078f6113522c04d2231226/admin}, ee = {https://doi.org/10.1016/j.jal.2010.03.001}, interhash = {3d5d91ee9512298ad14c4cd4d943342a}, intrahash = {d2725eb62c078f6113522c04d2231226}, journal = {J. Appl. Log.}, keywords = {}, number = 3, pages = {233-252}, timestamp = {2023-12-12T21:23:06.000+0100}, title = {Complexity of modal logics with Presburger constraints.}, url = {http://dblp.uni-trier.de/db/journals/japll/japll8.html#DemriL10}, volume = 8, year = 2010 }