%0 Journal Article %1 journals/logcom/DemriD16 %A Demri, Stéphane %A Deters, Morgan %D 2016 %J J. Log. Comput. %K dblp %N 3 %P 989-1017 %T Temporal logics on strings with prefix relation. %U http://dblp.uni-trier.de/db/journals/logcom/logcom26.html#DemriD16 %V 26

@article{journals/logcom/DemriD16, added-at = {2016-06-04T00:00:00.000+0200}, author = {Demri, Stéphane and Deters, Morgan}, biburl = {https://www.bibsonomy.org/bibtex/22f408863f04d30717e5e55ea24ed42f8/dblp}, ee = {http://dx.doi.org/10.1093/logcom/exv028}, interhash = {4e923801ad617986bd7e95b20f2c9176}, intrahash = {2f408863f04d30717e5e55ea24ed42f8}, journal = {J. Log. Comput.}, keywords = {dblp}, number = 3, pages = {989-1017}, timestamp = {2016-06-07T11:35:45.000+0200}, title = {Temporal logics on strings with prefix relation.}, url = {http://dblp.uni-trier.de/db/journals/logcom/logcom26.html#DemriD16}, volume = 26, year = 2016 }