%0 Journal Article %1 journals/corr/abs-1904-06107 %A Mahmood, Yasir %A Meier, Arne %D 2019 %J CoRR %K dblp %T Parametrised Complexity of Model Checking and Satisfiability in Propositional Dependence Logic. %U http://dblp.uni-trier.de/db/journals/corr/corr1904.html#abs-1904-06107 %V abs/1904.06107

@article{journals/corr/abs-1904-06107, added-at = {2019-05-10T00:00:00.000+0200}, author = {Mahmood, Yasir and Meier, Arne}, biburl = {https://www.bibsonomy.org/bibtex/2a5dd2324b404d70297088bf250b75f95/dblp}, ee = {http://arxiv.org/abs/1904.06107}, interhash = {f3295dac89fc7847e05e3e257d402c46}, intrahash = {a5dd2324b404d70297088bf250b75f95}, journal = {CoRR}, keywords = {dblp}, timestamp = {2019-05-11T11:38:06.000+0200}, title = {Parametrised Complexity of Model Checking and Satisfiability in Propositional Dependence Logic.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1904.html#abs-1904-06107}, volume = {abs/1904.06107}, year = 2019 }