%0 Journal Article %1 journals/soco/BeckmannP17 %A Beckmann, Arnold %A Preining, Norbert %D 2017 %J Soft Comput. %K dblp %N 1 %P 191-197 %T Deciding logics of linear Kripke frames with scattered end pieces. %U http://dblp.uni-trier.de/db/journals/soco/soco21.html#BeckmannP17 %V 21

@article{journals/soco/BeckmannP17, added-at = {2017-01-10T00:00:00.000+0100}, author = {Beckmann, Arnold and Preining, Norbert}, biburl = {https://www.bibsonomy.org/bibtex/2736f4ba0ebe2a176d42ccfb2ed20429a/dblp}, ee = {http://dx.doi.org/10.1007/s00500-016-2400-y}, interhash = {712128d226ea236ce07f6e25c93124ee}, intrahash = {736f4ba0ebe2a176d42ccfb2ed20429a}, journal = {Soft Comput.}, keywords = {dblp}, number = 1, pages = {191-197}, timestamp = {2017-01-11T11:35:15.000+0100}, title = {Deciding logics of linear Kripke frames with scattered end pieces.}, url = {http://dblp.uni-trier.de/db/journals/soco/soco21.html#BeckmannP17}, volume = 21, year = 2017 }